pub fn solve(equations: &[ModpEquation], num_vars: usize, p: u64) -> ModpOutcomeExpand description
Decide a mod-p linear system by Gaussian elimination over GF(p). Returns a satisfying
assignment, or an inconsistency-witnessing combination of the original equations. p must be prime.