pub fn php_cover(n: usize) -> CoverExpand description
The pigeonhole cover: n pigeons into n-1 holes. Variable (p,h) (“pigeon p in hole h”)
lives at index p*(n-1)+h, matching crate::families::php. Always buildable, always UNSAT.
pub fn php_cover(n: usize) -> CoverThe pigeonhole cover: n pigeons into n-1 holes. Variable (p,h) (“pigeon p in hole h”)
lives at index p*(n-1)+h, matching crate::families::php. Always buildable, always UNSAT.