pub trait SolveIF { // Required method fn solve(&mut self) -> SolverResult; }
API to solve SAT problems.
solve
search an assignment.
if solver becomes inconsistent by an internal error.