Bases: pybind11_object
Feasibility decision: EXISTS_SAT, ALL_VIOLATED, or UNKNOWN, with an optional witness
-
property status
Feasibility decision as a RegionResult
-
property witness
Satisfying valuation and value, or None unless the status is EXISTS_SAT