pub fn symmetry_entropy_bits(num_vars: usize, clauses: &[Vec<Lit>]) -> f64Expand description
Information theory — the bits of symmetry. log₂|Aut| is the symmetry-entropy: the number of
bits the automorphism group compresses out of the formula’s description (knowing one orbit
representative plus the group recovers the rest). High for symmetric structure, exactly 0 for a
rigid one — and that zero is the maximal-information, incompressible extreme.