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.
-
Updated
Nov 14, 2024 - Jupyter Notebook