A small sudoku solver
Project description
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/*
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
sudoku-solve-0.1.0.tar.gz
(3.0 kB
view hashes)
Built Distribution
Close
Hashes for sudoku_solve-0.1.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1f8a4fdd691aa32f69e0687c5b2682716567b79eae169d8a47a0ddd0fea287e9 |
|
MD5 | 25d78cd64d986cd3acab4c5bde8aafae |
|
BLAKE2b-256 | fdfee14dc8fd4a361b813ce5108f9d621b9c2b135b214570a2eca826fd55230f |