https://github.com/st3iny/sudoku-solver

Solve sudoku puzzles using a sat solver as fast as possible.
https://github.com/st3iny/sudoku-solver

Last synced: 8 days ago
JSON representation

Solve sudoku puzzles using a sat solver as fast as possible.

• Host: GitHub
• URL: https://github.com/st3iny/sudoku-solver
• Owner: st3iny
• Created: 2018-11-27T12:56:54.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2018-12-07T13:07:39.000Z (almost 6 years ago)
• Last Synced: 2023-10-19T22:38:03.783Z (about 1 year ago)
• Language: Python
• Size: 6.96 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project