40+ solvers for logical puzzles, including Sudoku-like puzzles, Slitherlink, Pentomino, Hitori, Mosaic, Tent, Creek, Atari, Suguru, Five Cells etc. Mainly solved via Mathematical-Programming Solvers like ortools and Gurobi.
python
sudoku-solver
gurobi
ortools
nonogram-solver
hitori-game
hitori-solver
pentominoes-solver
slitherlink-solver
simple-loop
norinori-solver
creek-solver
-
Updated
Nov 14, 2024 - Jupyter Notebook