Function automorphism_group_order 

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

The order of Aut(G) for a formula’s variable-symmetry group G — the automorphism group of the symmetry itself. None when out of range.