pub fn table_of_marks(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Option<(Vec<u128>, Vec<Vec<u128>>)>Expand description
The table of marks of a formula’s variable-symmetry group — the Burnside-ring classification of its
G-sets (the permutation-representation analogue of character_table). Returns
(subgroup_class_orders, marks). None when the subgroup lattice is out of range.