pub fn class_algebra_constants(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Option<Vec<Vec<Vec<u128>>>>Expand description
The class-algebra structure constants of a formula’s variable-symmetry group — a[i][j][k], the
multiplication coefficients of the conjugacy classes (Cᵢ·Cⱼ = Σₖ a[i][j][k]·Cₖ), the foundation of the
character table. None when the group is too large to enumerate.