Sudoku Solver
CLI Sudoku solver implemented in python with the python API for Z3 SMT solver.
Install
$ python3 -m venv env
$ source env/bin/activate
$ pip install -r requirements.txt
Run
$ python sudoku.py
or with input from a file:
$ python sudoku.py < test.txt
Test
$ python -m unittest sudoku-solver.sudoku
Distributing
$ python setup.py sdist bdist_wheel
$ python -m twine upload dist/*