Damn about solveuranimateur HOT 1 OPEN

L'idée c'est de résoudre un Boolean Satisfability Problem. On considère chaque association entre un animateur et un numéro comme une variable propositionnelle (donc 41*41=1681 variables au total). Ensuite on exprime les contraintes du jeux (chaque animateur a exactement un numéro, chaque numéro appartient à maximum un animateur) en une grosse formule propositionnelle (voir ici et là). Finalement, on considère chaque indice en itérant les différentes permutations de chiffres: quand un ensemble d'associations est incompatible avec un indice, on ajoute une clause à la formule propositionnelle. Après ça, il ne reste plus qu'a faire tourner le solveur :-)

Note que le fichier avec tous les indices manque, il y en a encore qui jouent!

from solveuranimateur.