pub fn coeff_symmetry_generators(
num_vars: usize,
constraints: &[PbConstraint],
) -> Vec<Vec<usize>>Expand description
The coefficient-symmetry generators of a pseudo-Boolean system: adjacent transpositions of variables
that share a coefficient profile — the same (coeff, sign) (or absence) in every constraint. Such
variables are interchangeable because each constraint is a weighted sum, blind to which equal-weight
variable carries which value. Each generator is a genuine symmetry (is_pb_symmetry); together they
generate the full product of symmetric groups on the profile classes. Variables in no constraint are
excluded (free, not a constraint symmetry).