SmtCheckResult

Warning

The stormpy developer API is internal and can be subject to change.

class SmtCheckResult(*values)

Bases: Enum

Result type

SAT = 0

UNKNOWN = 2

UNSAT = 1