Skip to content

CC engine: per-half probe between tiebreak and MRV + reversed-BFS row order (-cc-roworder=auto, GH-206; do not merge before PI says merge) - #215

Merged
guluchen merged 8 commits into
mainfrom
experiment/gh-206-cc-roworder-auto
Oct 30, 2026
Merged

guluchen merged 8 commits into
mainfrom
experiment/gh-206-cc-roworder-auto

Merge main (7d915698: GH-162 and GH-183 merges, stem renames #216) in…

34c6f8f
Select commit
Loading
Failed to load commit list.