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

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