Function optimization_symmetry_generators 

pub fn optimization_symmetry_generators(
    num_vars: usize,
    clauses: &[Vec<Lit>],
    weights: &[i64],
) -> Vec<Perm> 

The symmetries of an optimization problem (F, weights): variable automorphisms of F that also preserve the objective (weights[g[v]] = weights[v] for all v). Under such a σ the objective is constant on orbits, so every optimal model’s whole orbit is optimal — the group along which the optimum may be symmetry-reduced. Verified against both F and the weights, so every generator is genuine.