[−][src]Type Definition splr::solver::SolverResult
type SolverResult = Result<Certificate, SolverException>;
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, andSolverException::*
-- caused by a bug