[−][src]Trait splr::solver::SolveIF
API to solve
SAT problems.
Required methods
pub fn solve(&mut self) -> SolverResult
[src]
Implementors
impl SolveIF for Solver
[src]
pub fn solve(&mut self) -> SolverResult
[src]
Examples
use splr::*; let config = Config::from("tests/sample.cnf"); if let Ok(mut s) = Solver::build(&config) { let res = s.solve(); assert!(res.is_ok()); assert_ne!(res.unwrap(), Certificate::UNSAT); }