Trait splr::solver::ValidateIF
source · pub trait ValidateIF {
// Required methods
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.