sudoku-solve

A small sudoku solver


License
GPL-3.0
Install
pip install sudoku-solve==0.1.0

Documentation

Sudoku Solver

Build Status

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/*