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 Distributions
No source distribution files available for this release.See tutorial on generating distribution archives.
Built Distribution
Close
Hashes for sudoku_solve-0.0.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8b65d8dcdac812251d5454a9f7ae0bdc7b76855a4e0bed89f0d26bff01474278 |
|
MD5 | f7610156becc9bf2598853111417ae21 |
|
BLAKE2b-256 | aa17b473d7eda14d9b8ebbb5ba6d3ab4c14508dec8f42450232f4b627a60ad5f |