A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://z3prover.github.io/api/html/classz3py_1_1_check_sat_result.html below:

Z3: CheckSatResult Class Reference

Detailed Description 
Represents the result of a satisfiability check: sat, unsat, unknown.

>>> s = Solver()
>>> s.check()
sat
>>> r = s.check()
>>> isinstance(r, CheckSatResult)
True

Definition at line 6891 of file z3py.py.

Constructor & Destructor Documentation ◆ __init__()

Definition at line 6902 of file z3py.py.

6902  def

__init__(self, r):

Member Function Documentation ◆ __deepcopy__() def __deepcopy__ (   self,   memo = {}  )

Definition at line 6905 of file z3py.py.

6905  def

__deepcopy__(self, memo={}):

6906  return

CheckSatResult(self.r)

◆ __eq__() def __eq__ (   self,   other  ) ◆ __ne__() def __ne__ (   self,   other  )

Definition at line 6911 of file z3py.py.

6911  def

__ne__(self, other):

6912  return not

self.__eq__(other)

◆ __repr__()

Definition at line 6914 of file z3py.py.

6916  if

self.r == Z3_L_TRUE:

6918  elif

self.r == Z3_L_FALSE:

6919  return "<b>unsat</b>" 6921  return "<b>unknown</b>" 6923  if

self.r == Z3_L_TRUE:

6925  elif

self.r == Z3_L_FALSE:

Field Documentation ◆ r

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4