UnknownExplanation

This enum represents the explanation for an unknown solver result (see Result).


class cvc5.UnknownExplanation(*values)

The UnknownExplanation enum

INCOMPLETE = 1
INTERRUPTED = 5
MEMOUT = 4
OTHER = 7
REQUIRES_CHECK_AGAIN = 8
REQUIRES_FULL_CHECK = 0
RESOURCEOUT = 3
TIMEOUT = 2
UNKNOWN_REASON = 9
UNSUPPORTED = 6