Type Alias splr::solver::SolverResult

source · 
pub type SolverResult = Result<Certificate, SolverError>;
Expand description

The return type of Solver::solve. This captures the following three cases:

  • Certificate::SAT – solved with a satisfiable assignment set,
  • Certificate::UNSAT – proved that it’s an unsatisfiable problem, and
  • SolverError::* – caused by a bug

Aliased Type§

enum SolverResult {
    Ok(Certificate),
    Err(SolverError),
}

Variants§

§1.0.0

Ok(Certificate)

Contains the success value

§1.0.0

Err(SolverError)

Contains the error value