Function pb_symmetry_profile 

pub fn pb_symmetry_profile(
    num_vars: usize,
    constraints: &[PbConstraint],
) -> SymmetryProfile

The SymmetryProfile of a pseudo-Boolean system’s coefficient-symmetry group — variables that share a coefficient profile across all constraints (crate::pseudo_boolean::coeff_symmetry_generators) — read through the same structural ladder as symmetry_structure. The symmetry of weighted constraints, surfaced exactly like the clause-structure symmetry.