pub fn affine_symmetries(num_vars: usize, clauses: &[Vec<Lit>]) -> Vec<Affine>Expand description
The affine symmetry group of a formula, computed exhaustively: every φ ∈ AGL(n,2) that maps the
model set onto itself (φ a bijection, so φ(models) = models iff φ maps each model to a model).
This is the AGL(n,2) analogue of symmetry_detect::find_generators (which finds only the Bₙ
part), and it is exact for n ≤ 4 — the instrument that measures AGL ⊋ Bₙ.