Trait splr::SolveIF[−][src]

pub trait SolveIF {
    fn solve(&mut self) -> SolverResult;
}
Expand description

API to solve SAT problems.

Required methods

search an assignment.

Errors

if solver becomes inconsistent by an internal error.

Implementors