Function optimize_enumeration_counts 

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

(models_with_symmetry, models_without_symmetry) — how many candidate models the optimizer enumerates with the symmetry break versus the naive enumeration. Equal with no usable symmetry, smaller when the objective-preserving group fuses optimal (and non-optimal) models into orbits.