{ "info": { "author": "Zach Schuermann", "author_email": "zachary.schuermann@gmail.com", "bugtrack_url": null, "classifiers": [ "License :: OSI Approved :: GNU General Public License v3 (GPLv3)", "Operating System :: OS Independent", "Programming Language :: Python :: 3" ], "description": "# Sudoku Solver\n[![Build Status](https://travis-ci.com/schuermannator/sudoku-solver.svg?branch=master)](https://travis-ci.com/schuermannator/sudoku-solver) \n\nCLI Sudoku solver implemented in python with the python API for Z3 SMT solver.\n\n## Install\n```bash\n$ python3 -m venv env\n$ source env/bin/activate\n$ pip install -r requirements.txt\n```\n\n## Run\n```bash\n$ python sudoku.py\n```\nor with input from a file: \n```bash\n$ python sudoku.py < test.txt\n```\n\n## Test\n```bash\n$ python -m unittest sudoku-solver.sudoku\n```\n\n## Distributing\n```bash\n$ python setup.py sdist bdist_wheel\n$ python -m twine upload dist/*\n```\n\n\n", "description_content_type": "text/markdown", "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://github.com/schuermannator/sudoku-solver", "keywords": "", "license": "", "maintainer": "", "maintainer_email": "", "name": "sudoku-solve", "package_url": "https://pypi.org/project/sudoku-solve/", "platform": "", "project_url": "https://pypi.org/project/sudoku-solve/", "project_urls": { "Homepage": "https://github.com/schuermannator/sudoku-solver" }, "release_url": "https://pypi.org/project/sudoku-solve/0.1.0/", "requires_dist": [ "z3-solver" ], "requires_python": "", "summary": "A small sudoku solver", "version": "0.1.0" }, "last_serial": 4789809, "releases": { "0.0.1": [ { "comment_text": "", "digests": { "md5": "f7610156becc9bf2598853111417ae21", "sha256": "8b65d8dcdac812251d5454a9f7ae0bdc7b76855a4e0bed89f0d26bff01474278" }, "downloads": -1, "filename": "sudoku_solve-0.0.1-py3-none-any.whl", "has_sig": false, "md5_digest": "f7610156becc9bf2598853111417ae21", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 19003, "upload_time": "2019-02-07T05:59:03", "url": "https://files.pythonhosted.org/packages/aa/17/b473d7eda14d9b8ebbb5ba6d3ab4c14508dec8f42450232f4b627a60ad5f/sudoku_solve-0.0.1-py3-none-any.whl" } ], "0.0.2": [ { "comment_text": "", "digests": { "md5": "6e0c693c749ea0c588ce44635d4194ba", "sha256": "e430984541e915580be689d5e6d4cb7df654861564ab24453bc5d7085bb41ca3" }, "downloads": -1, "filename": "sudoku_solve-0.0.2-py3-none-any.whl", "has_sig": false, "md5_digest": "6e0c693c749ea0c588ce44635d4194ba", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 19006, "upload_time": "2019-02-07T06:00:28", "url": "https://files.pythonhosted.org/packages/12/65/9c13f54b8504342888557c4bfd0a09dff93e86f73396c1960bb73721506b/sudoku_solve-0.0.2-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "5528d890b38a85b9dfd1cfcb62ae6f29", "sha256": "ec37a7bcdd9711e0131aaf272a3f8c38924e96f0a2ea8baf95577a10791b3449" }, "downloads": -1, "filename": "sudoku-solve-0.0.2.tar.gz", "has_sig": false, "md5_digest": "5528d890b38a85b9dfd1cfcb62ae6f29", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 2818, "upload_time": "2019-02-07T06:00:29", "url": "https://files.pythonhosted.org/packages/26/e5/e06e8c177650beffba4f6981d597bd93d7d66ef8f6a5987af6900b5b14fd/sudoku-solve-0.0.2.tar.gz" } ], "0.0.3": [ { "comment_text": "", "digests": { "md5": "0ced97fb954aebf54c7265570f7df44d", "sha256": "08813fcc6486260f1ba58252f50cb511903e38f9cca8a65c569294ef02dc4a11" }, "downloads": -1, "filename": "sudoku_solve-0.0.3-py2-none-any.whl", "has_sig": false, "md5_digest": "0ced97fb954aebf54c7265570f7df44d", "packagetype": "bdist_wheel", "python_version": "py2", "requires_python": null, "size": 8430, "upload_time": "2019-02-07T06:08:09", "url": "https://files.pythonhosted.org/packages/9b/5e/44985c82cf76ade66cbe94a0a3657fd6a4a87b02483ac69ab2a1fbd4f785/sudoku_solve-0.0.3-py2-none-any.whl" }, { "comment_text": "", "digests": { "md5": "be34dc8d11052bb7999806d2b3739af6", "sha256": "74bd1030390b0a668b1080064b288e3c6d455677d63e1b6dd5dab418fc42caf2" }, "downloads": -1, "filename": "sudoku-solve-0.0.3.tar.gz", "has_sig": false, "md5_digest": "be34dc8d11052bb7999806d2b3739af6", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 2830, "upload_time": "2019-02-07T06:08:11", "url": "https://files.pythonhosted.org/packages/54/1b/03e9cff65e68ef0df28739bd3c02040bd219416234ec5be969b4869c68a5/sudoku-solve-0.0.3.tar.gz" } ], "0.0.4": [ { "comment_text": "", "digests": { "md5": "3b5a3992a57bf3bbd3d82cfdb7a7c39c", "sha256": "177ba50473653d6945d9ba8e67b912dfbc9714814650d108a473084d98fbbc65" }, "downloads": -1, "filename": "sudoku_solve-0.0.4-py3-none-any.whl", "has_sig": false, "md5_digest": "3b5a3992a57bf3bbd3d82cfdb7a7c39c", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 19422, "upload_time": "2019-02-07T06:26:28", "url": "https://files.pythonhosted.org/packages/65/0d/4444bc6fb4ce02560179e6140294f0cccee53a17e53c24a10b6aabbcb757/sudoku_solve-0.0.4-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "a1b49a8092b26c7e600d3847f3bcd1ff", "sha256": "fd8e62d8c3d3b15c5d65539522e04530389da3883c7e4a4ede919e5e985b8004" }, "downloads": -1, "filename": "sudoku-solve-0.0.4.tar.gz", "has_sig": false, "md5_digest": "a1b49a8092b26c7e600d3847f3bcd1ff", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 2961, "upload_time": "2019-02-07T06:26:29", "url": "https://files.pythonhosted.org/packages/d8/ba/041124f87135acfc518004dbca586770078201165fe05cfee0ab8e6f3ea0/sudoku-solve-0.0.4.tar.gz" } ], "0.0.5": [ { "comment_text": "", "digests": { "md5": "d899ad128e72b171475102b844bb810e", "sha256": "eb690aadd5bfb55ac8ee9704935eea449977cf844e6534921ac6f8e21b58e458" }, "downloads": -1, "filename": "sudoku_solve-0.0.5-py3-none-any.whl", "has_sig": false, "md5_digest": "d899ad128e72b171475102b844bb810e", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 19435, "upload_time": "2019-02-07T06:30:58", "url": "https://files.pythonhosted.org/packages/fa/13/ba00b1ff9610587ca55b85be4b68e45a261dbcbc7adc0988b61a32851790/sudoku_solve-0.0.5-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "831b0c8baa1ad2dfc43e9af575b95305", "sha256": "7412206c459b869d7964e1309a79095bcfce2a215a2279410e3392518aa42278" }, "downloads": -1, "filename": "sudoku-solve-0.0.5.tar.gz", "has_sig": false, "md5_digest": "831b0c8baa1ad2dfc43e9af575b95305", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 3004, "upload_time": "2019-02-07T06:31:00", "url": "https://files.pythonhosted.org/packages/2c/ae/1f047a0147ef8780998c914b8f9153c707e4486541f4a8765d1a8678a8a2/sudoku-solve-0.0.5.tar.gz" } ], "0.1.0": [ { "comment_text": "", "digests": { "md5": "25d78cd64d986cd3acab4c5bde8aafae", "sha256": "1f8a4fdd691aa32f69e0687c5b2682716567b79eae169d8a47a0ddd0fea287e9" }, "downloads": -1, "filename": "sudoku_solve-0.1.0-py3-none-any.whl", "has_sig": false, "md5_digest": "25d78cd64d986cd3acab4c5bde8aafae", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 19435, "upload_time": "2019-02-07T06:37:11", "url": "https://files.pythonhosted.org/packages/fd/fe/e14dc8fd4a361b813ce5108f9d621b9c2b135b214570a2eca826fd55230f/sudoku_solve-0.1.0-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "269b37198923d06970ab211a6e388edc", "sha256": "b5392d91d96f9d0bdb98f7c076e10383909f50da8fd3e723ab5081788cb41e79" }, "downloads": -1, "filename": "sudoku-solve-0.1.0.tar.gz", "has_sig": false, "md5_digest": "269b37198923d06970ab211a6e388edc", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 3003, "upload_time": "2019-02-07T06:37:12", "url": "https://files.pythonhosted.org/packages/cb/00/7f0fe778142e8e0ca05387187450280e4e3c7143f3754d060cff9ce8ff8d/sudoku-solve-0.1.0.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "25d78cd64d986cd3acab4c5bde8aafae", "sha256": "1f8a4fdd691aa32f69e0687c5b2682716567b79eae169d8a47a0ddd0fea287e9" }, "downloads": -1, "filename": "sudoku_solve-0.1.0-py3-none-any.whl", "has_sig": false, "md5_digest": "25d78cd64d986cd3acab4c5bde8aafae", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 19435, "upload_time": "2019-02-07T06:37:11", "url": "https://files.pythonhosted.org/packages/fd/fe/e14dc8fd4a361b813ce5108f9d621b9c2b135b214570a2eca826fd55230f/sudoku_solve-0.1.0-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "269b37198923d06970ab211a6e388edc", "sha256": "b5392d91d96f9d0bdb98f7c076e10383909f50da8fd3e723ab5081788cb41e79" }, "downloads": -1, "filename": "sudoku-solve-0.1.0.tar.gz", "has_sig": false, "md5_digest": "269b37198923d06970ab211a6e388edc", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 3003, "upload_time": "2019-02-07T06:37:12", "url": "https://files.pythonhosted.org/packages/cb/00/7f0fe778142e8e0ca05387187450280e4e3c7143f3754d060cff9ce8ff8d/sudoku-solve-0.1.0.tar.gz" } ] }