[−][src]Type Definition splr::solver::SolverResult

type SolverResult = Result<Certificate, SolverError>;

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
  • SolverException::* -- caused by a bug