Aller au contenu

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

Source de la pageVersion Markdown