Function is_pb_symmetry 

pub fn is_pb_symmetry(constraints: &[PbConstraint], perm: &[usize]) -> bool

Does the variable permutation perm preserve every constraint? (term(perm[v]) == term(v) for all v — a relabelling that fixes each constraint’s coefficient/sign structure, hence its solution set.)