100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
A nonogram/picross/griddler solver written in Python 3
Onono! The Puzzle Game
Collection of mini game solvers.