Enum SATSolversError 

pub enum SATSolversError {
    SolverNotAvailable(String),
    SolverBinaryNotFound(PathBuf),
    IoError(Error),
}

Errors that can occur when working with SAT solvers.

This enum represents all possible errors that can be returned by the crate’s public API.

Variants

SolverNotAvailable(String)

The requested solver is not available in this build.

This occurs when trying to use a solver whose feature flag was not enabled at compile time.

SolverBinaryNotFound(PathBuf)

The solver binary was not found at the expected path.

This typically indicates a build issue where the solver failed to compile or the binary was moved/deleted.

IoError(Error)

An I/O error occurred while executing the solver.

Trait Implementations

impl Debug for SATSolversError

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

Formats the value using the given formatter.

impl Display for SATSolversError

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

Formats the value using the given formatter.

impl Error for SATSolversError

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 SATSolversError

fn from(source: Error) -> Self

Converts to this type from the input type.