From constraint models to playable puzzle games
Summary
The article surveys constraint programming approaches to generate nine playable puzzle games (Sudoku, Nonogram, Queens, Zip, Loopy, Tents, Patches, Wend, Swend). It explains MiniZinc-based models, the generation pipeline, offline uniqueness checks, difficulty tagging, and hint systems, all anchored by open-source tooling.