pub fn literal_automorphism_generators(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Vec<Vec<Lit>>Expand description
The literal-permutation automorphism GENERATORS — variable AND value/phase symmetry — as
image-literal vectors (imgⱼ = σ(+xⱼ)). Unlike variable_automorphism_generators, phase flips are
kept, so this captures the symmetry of formulas invariant under negating variables. Empty if none.