pub fn synthesize_measure(
num_vars: usize,
formula: &[Vec<Lit>],
) -> Option<CollapsingMeasure>Expand description
Search the bounded class of covering layouts for one whose item-swap is a genuine symmetry — a
cheap pre-filter (one automorphism check per candidate factorization). Returns the first such
measure in the items > bins (unsatisfiable) direction, or None.