Trait splr::solver::SolveIF

pub trait SolveIF {
    // Required method
    fn solve(&mut self) -> SolverResult;
}

Expand description

API to solve SAT problems.

Required Methods§

search an assignment.

if solver becomes inconsistent by an internal error.