Function literal_automorphism_group 

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

The full literal-automorphism group (variable + value symmetry) enumerated via the Schreier–Sims backend on the 2·num_vars literal points, for the complete break. None if |G| > cap (use the generators for the polynomial partial break instead).