pub fn census(n: usize) -> Vec<OrbitRecord>Expand description
The Bₙ-orbit census of all minimal UNSAT formulas over n variables.
pub fn census(n: usize) -> Vec<OrbitRecord>The Bₙ-orbit census of all minimal UNSAT formulas over n variables.