pub fn permutation_character(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Option<Vec<u128>>Expand description
The permutation character π(g) = #fixed variables of g of a formula’s variable-symmetry action,
valued per conjugacy class. The character of the representation the symmetry group carries on the
variables themselves. None when the group is too large to enumerate.