100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
python benchmark dataset puzzles solvers nonogram ortools akari hitori puzzlesolver yajilin shikaku creek slitherlink
-
Updated
Apr 9, 2026 - Python