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