Le moteur de Peter McGavin
Le backtracker C que Peter McGavin a lui-même écrit, le solveur brut le plus rapide que la communauté ait mesuré. Récupéré sur la liste de diffusion, compilé sur un M1 et lancé sur le véritable Eternity II. Son code, son algorithme ; exécuté et documenté ici.
par Peter McGavin
pageMis à jour 2026-07-15