pub fn gf2_solve(
equations: &[(Vec<u64>, bool)],
nvars: usize,
) -> Option<Vec<u64>>Expand description
Solve a GF(2) linear system ⟨x, coeffᵢ⟩ = rhsᵢ (each coeff a multi-word bit-vector over nvars
variables) by Gaussian elimination to reduced row echelon form. Returns any solution x (bit-packed into
⌈nvars/64⌉ words) or None if the system is inconsistent. Multi-word, so it scales past 63 variables.