Repository navigation
Audit the class-C 4-flat covering-config census of #2954: the cheapest config is useless for the hard rows, 3 of 5 are redundant (no kappa claim) - #3315
Merged
Mister-Meeseeks merged 3 commits intoOct 17, 2026
Commits
Commits on Oct 17, 2026