Skip to main content

satisfies

logicaffeine_proof::modp

Function satisfies 

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

Re-check a satisfying assignment: every congruence holds mod p.