50+ solvers for logical puzzles with ORtools, SCIP, Z3 and Gurobi, with 8k+ datasets. e.g. Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro and Sudoku-variants.
python sudoku-solver gurobi scip ortools heyawake nonogram-solver shikaku hitori-solver z3-solver pentominoes-solver constraintprogramming slitherlink-solver norinori-solver creek-solver
-
Updated
Dec 5, 2025 - Jupyter Notebook