Trait splr::solver::ValidateIF [−][src]
pub trait ValidateIF { fn inject_assignment(&mut self, vec: &[i32]) -> MaybeInconsistent; fn validate(&self) -> Option<Vec<i32>>; }
Expand description
API for SAT validator like inject_assignment
, validate
and so on.