"""Class for solver status."""
from __future__ import annotations
from enum import Enum
[docs]
class SolverStatus(str, Enum):
"""Possible return states for solver runs."""
SUCCESS = "SUCCESS" # Positive status
UNKNOWN = "UNKNOWN" # Semi positive status
SAT = "SAT" # SAT specific positive status
UNSAT = "UNSAT" # SAT specific positive status
# Negative status
CRASHED = "CRASHED"
TIMEOUT = "TIMEOUT"
WRONG = "WRONG"
ERROR = "ERROR"
KILLED = "KILLED"
def __str__(self: SolverStatus) -> str:
"""Return the string value of the SolverStatus."""
return str(self.value)