stp.CheckSatResult¶
- class stp.CheckSatResult(kind, reason=0, message='')¶
sat, unsat or unknown, with the reason attached. Hashable; bool(r) raises TypeError: compare with sat/unsat/unknown.
- property reason¶
- property reason_message¶
- is_sat()¶
- is_unsat()¶
- is_unknown()¶
- __eq__(other)¶
Return self==value.
- __ne__(other)¶
Return self!=value.
- __bool__()¶
