pub fn blocker_orbit(b: &Subcube, generators: &[CubeSym]) -> Vec<Subcube>Expand description
The full orbit of a blocker under the group generated by generators (BFS over images). For a
structured family this is polynomial-sized even though |G| is astronomical, because the
blocker’s stabilizer is huge (a pigeonhole exclusion has orbit holes·C(pigeons,2), not |G|).