50+ solvers for logical puzzles with ortools, 28k+ datasets for 80+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
-
Updated
Dec 23, 2025 - Jupyter Notebook
50+ solvers for logical puzzles with ortools, 28k+ datasets for 80+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
Collection of projets that I developed like an ASP music composer, a Sokoban, Hitory and 8puzzle puzzle solvers, Probabilistic Reasoning with Answer Sets and a project on Automatic Theorem Provers
Two puzzle games for PalmPilot, made via http://jump.sourceforge.net
Hitori (Japanese: "Alone" or "one person"; ひとりにしてくれ Hitori ni shite kure; literally "leave me alone") is a type of logic puzzle published by Nikoli.
🗻 Solver for Hitori Puzzles
Add a description, image, and links to the hitori topic page so that developers can more easily learn about it.
To associate your repository with the hitori topic, visit your repo's landing page and select "manage topics."