pub fn fused_permutation_generators(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Vec<Vec<usize>>Expand description
The permutation generators for the DYNAMIC symmetry theory: the wreath-tower cardinality permutations plus every transposition symmetry of the whole instance.