Skip to main content

solve

logicaffeine_proof::xorsat

Function solve 

Source 
pub fn solve(equations: &[XorEquation], num_vars: usize) -> XorOutcome
Expand description

Solve a parity system over 0..num_vars by Gauss–Jordan elimination over GF(2). Returns a satisfying assignment or a certified 0 = 1 refutation. O(eq · vars · (eq+vars)/64).