Skip to main content

satisfies

logicaffeine_proof::xorsat

Function satisfies 

Source 
pub fn satisfies(equations: &[XorEquation], assignment: &[bool]) -> bool
Expand description

Re-check a satisfying assignment: every equation’s variable-XOR equals its rhs.