pub fn iso_canon(clauses: &CanonClauses, cap: usize) -> (CanonClauses, Twist)Expand description
The full CNF-isomorphism canonical form: the lex-least image over all relabelings of the live
variables and all polarity flips — not tied to any instance automorphism. Above cap live
variables it degrades gracefully to first-appearance normalization (the boundary is reported by
callers, never silently exceeded).