pub fn mod_counting_groups(n: usize, q: usize) -> Vec<Vec<u32>>Expand description
The exactly-one groups of mod_counting’s linear encoding: for each point, the variables of
its covering clause — the incident q-subsets, in the same variable order as mod_counting.
Feed to polycalc::exactly_one_linear_generators for the degree-1 point generators plus overlap
pairs (the encoding the modular-counting degree lower bounds are stated against).