Function aut_order 

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

|Aut(F)| — the exact number of formula automorphisms, via the Schreier–Sims backend.