Trait splr::solver::SolveIF [−][src]
pub trait SolveIF { fn solve(&mut self) -> SolverResult; }
Expand description
API to solve
SAT problems.
pub trait SolveIF { fn solve(&mut self) -> SolverResult; }
API to solve
SAT problems.