pub fn refute(num_vars: usize, clauses: &[Vec<Lit>]) -> bool
Refute a coupled exactly-one + parity formula. true iff some exactly-one group’s odd-parity requirement contradicts the formula’s XOR system. Never a false refutation.
true