🔬 Curiosité¶ Modèle SASI Problème du voyageur de commerce Jeu de la vie n = 3, \(uniq_{count}\) = 51 N-Reines avec un solveur SAT Armées pacifiques de reines n = 4, count = 112 n = 5, count = 18 n = 6, count = 560 n = 7, count = 304 Références¶ Project Euler Encyclopedia of Integer Sequences