Skip to main content

satisfies

logicaffeine_proof::modm

Function satisfies 

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

Re-check a satisfying assignment over ℤ/m: every congruence holds mod m.