This cross-platform app was deployed using Briefcase - part of The BeeWare Project. If you want to see more tools like Briefcase, please consider becoming a financial member of BeeWare.
GUI Sudoku Solver using PySAT; solver procedure from https://eysbutno.github.io/blog/sudoku
src/sudokusolver/solver.py was originally written by Justin Ji, aka. @eysbutno on GitHub, published on his blog at eysbutno.github.io; in a Discord discussion, he has voluntarily chosen to release this code into the public domain so I can make this GUI.
Missing features:
- Detecting if the puzzle has multiple solutions
- Saving puzzle in text format
- Differentiating between inferred grids and existing inputs.