Trait sat::solver::Solver

pub trait Solver {
    fn solve(&self, instance: &Instance) -> Option<Assignment>;
}

Trait for SAT solvers.

Required Methods

fn solve(&self, instance: &Instance) -> Option<Assignment>

Solve an instance and return the satisfying assignment, or None if no such assignment exists.

Implementors

• impl<CmdFactory> Solver for Dimacs<CmdFactory> where CmdFactory: Fn() -> Command