pub fn find_generators(num_vars: usize, clauses: &[Vec<Lit>]) -> Vec<Perm>Expand description
Find a generating set of the symmetry group of clauses — literal permutations σ with
σ(F) = F. Each returned generator is independently verified by perm_is_automorphism.