Function automorphism_group_size 

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

The order of a formula’s automorphism group — 1 means rigid (only the identity preserves it), the maximally asymmetric extreme. Discovers the generators and closes them under composition.