Function character_table 

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

The character table of a formula’s variable-symmetry group, computed exactly over a finite field by the Burnside–Dixon algorithm (degrees + GF(p)-valued irreducible characters). The deepest structural view of the symmetry — None when the group is too large for the finite-field diagonalisation.