Tag
A researcher's blog post describes turning constraint models into playable puzzle games, based on his paper on scaling Sudoku as a constraint problem. It shares MiniZinc models, a repository of 434,201 Sudoku instances, and playable versions of nine puzzle games.
The founder of DLES.gg explains the origin and purpose of the site as a curated collection of daily logic exercises for players and a launchpad for game makers.