100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
-
Updated
Jul 30, 2026 - Python
100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ 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
Rust-from-C systems-style Hitori solver with compact cells, graph validation, recursive search, CLI tooling, tests, and AI-native phase docs.
🗻 Solver for Hitori Puzzles
a dotfile i made of bocchi the rock (hitori gotoh) its also my main
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.
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."