SmilingWayne/PuzzleSolver

50+ solvers for logical puzzles, with 8000+ datasets, including Sudoku-like puzzles, Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro, etc. Mainly solved via Solvers like ortools, z3-solver and SCIP.

Language: Jupyter Notebook - Size: 29.5 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 14 - Forks: 1