De modèles de contraintes MiniZinc à neuf puzzles jouables (en)

L’auteur détaille comment transformer des générateurs de puzzles écrits en MiniZinc et résolus avec Gecode en neuf jeux jouables : Sudoku, Nonogram, Queens, Zip, Loopy, Tents, Patches, Wend et Swend. L’article explique la génération de puzzles uniques, la classification de difficulté par propagation de contraintes, et une passe de symétrisation appliquée aux grilles de Sudoku pour les rendre visuellement conformes aux attentes classiques. Chaque jeu est accompagné d’un extrait de modèle de contraintes expliqué.