Authors:
- Bettelini Carlo
- Likollari Kelvin
- Milanesi Claudio
- Willi Alexandra
A Sat Solver implemented in Python, used to solve the famous Sudoku Game using z3.
This Solver comes with a personalized GUI.
We hope you like it as much as we did! :)
-
Notifications
You must be signed in to change notification settings - Fork 0
likolk/Sudoku-Sat-Solver
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
SAT Solver For Solving Sudoku Boards Of Alternating Difficulty
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published