Trait monster::solver::Solver [−][src]
pub trait Solver: Default + Sync + Sized { fn name() -> &'static str; fn solve_impl<F: Formula>(
&self,
formula: &F
) -> Result<Option<Assignment>, SolverError>; fn solve<F: Formula>(
&self,
formula: &F
) -> Result<Option<Assignment>, SolverError> { ... } }
Required methods
fn solve_impl<F: Formula>(
&self,
formula: &F
) -> Result<Option<Assignment>, SolverError>[src]Provided methods
fn solve<F: Formula>(
&self,
formula: &F
) -> Result<Option<Assignment>, SolverError>[src]