pub fn recover_linear_system(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Option<(Vec<u64>, Vec<bool>)>Expand description
Recover the GF(2)-linear substructure of a CNF: the XOR equations its clauses encode (units,
binary equivalences, and complete wrong-parity bundles), as (coefficient-mask, rhs) rows over the
low num_vars bits. None when there is no linear structure or num_vars exceeds the u64 mask.