UnknownExplanation
This enum represents the explanation for an unknown solver result (see Result ).
- class cvc5. UnknownExplanation ( value )
-
The UnknownExplanation enum
- INCOMPLETE
-
Incomplete theory solver.
- INTERRUPTED
-
Solver was interrupted.
- MEMOUT
-
Memory limit reached.
- OTHER
-
Other reason.
- REQUIRES_CHECK_AGAIN
-
Requires another satisfiability check
- REQUIRES_FULL_CHECK
-
Full satisfiability check required (e.g., if only preprocessing was performed).
- RESOURCEOUT
-
Resource limit reached.
- TIMEOUT
-
Time limit reached.
- UNKNOWN_REASON
-
No specific reason given.
- UNSUPPORTED
-
Unsupported feature encountered.