Enum SATSolverError 

pub enum SATSolverError {
    Io(Error),
    ProcessCrashed {
        code: Option<i32>,
    },
    Timeout {
        timeout: Duration,
    },
    OutputParseError(String),
}

Errors that can occur during SAT solver execution.

This error type covers all failure modes when running a SAT solver, including I/O errors, process failures, timeouts, and output parsing issues.

Variants

Io(Error)

An I/O error occurred (e.g., failed to spawn process or write temp file).

ProcessCrashed

The solver process crashed with a non-standard exit code.

Standard exit codes (10 = SAT, 20 = UNSAT, 0 = success) are not errors.

Fields

code: Option<i32>

The exit code, or None if the process was terminated by a signal.

Timeout

The solver exceeded the specified timeout.

When this occurs, the solver process is killed and this error is returned.

Fields

timeout: Duration

The timeout duration that was exceeded.

OutputParseError(String)

Failed to parse the solver’s output.

This can occur if the solver produces unexpected output format, or if there are inconsistencies in the output.

Trait Implementations

impl Debug for SATSolverError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for SATSolverError

fn fmt(&self, __formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for SATSolverError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<Error> for SATSolverError

fn from(source: Error) -> Self

Converts to this type from the input type.