Peter McGavin's engine
Peter McGavin's own C backtracker, the fastest raw solver the community has measured. Fetched from the mailing list, built on an M1, and run on the real Eternity II. His code, his algorithm; run and written up here.
pageUpdated 2026-07-15