pub fn variable_symmetry(truth: &[bool]) -> Option<VariableSymmetry>Expand description
Find the variable-permutation symmetry group of a Boolean function: test every transposition and the
cyclic shift, certify the subgroup they generate with Schreier–Sims, and compress by input-orbits.
None if truth.len() is not a power of two.