Wheelodex » Projects » sudoku-smt-solvers » sudoku_smt_solvers-1.0.0-py3-none-any.whl

sudoku-smt-solvers

View on PyPI — Reverse Dependencies (0)

1.0.0 sudoku_smt_solvers-1.0.0-py3-none-any.whl

Wheel Details

Project: sudoku-smt-solvers
Version: 1.0.0
Filename: sudoku_smt_solvers-1.0.0-py3-none-any.whl
Download: [link]
Size: 22973
MD5: 11c14066158eb13a7892b162eb55a8c5
SHA256: efb69126c3a72ea74e9fa0aafda35f0ef7f78c57234d3d262f3e114060f29359
Uploaded: 2025-01-16 02:08:15 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.2
Name: sudoku_smt_solvers
Version: 1.0.0
Summary: A collection of SAT and SMT solvers for solving Sudoku puzzles
Author: Liam Davis, Tairan 'Ryan' Ji
Author-Email: ljdavis27[at]amherst.edu, tji26[at]amherst.edu
Home-Page: https://liamjdavis.github.io/sudoku-smt-solvers
License: MIT
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.10
Requires-Dist: cvc5
Requires-Dist: python-sat
Requires-Dist: z3-solver
Description-Content-Type: text/markdown
Dynamic: author
Dynamic: author-email
Dynamic: classifier
Dynamic: description
Dynamic: description-content-type
Dynamic: home-page
Dynamic: license
Dynamic: requires-dist
Dynamic: requires-python
Dynamic: summary
License-File: LICENSE
[Description omitted; length: 5799 characters]

WHEEL

Wheel-Version: 1.0
Generator: setuptools (75.8.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
sudoku_smt_solvers/__init__.py sha256=8rBW6Gw7E3oWdokHdJPpyFMlSXvDIasjjaw7fyVAUZI 935
sudoku_smt_solvers/benchmarks/__init__.py sha256=qRc3eFgeV0yzO2NgSnlqjJ3ejHgDxlI1ySId6WspT24 77
sudoku_smt_solvers/benchmarks/benchmark_runner.py sha256=Mc87ul-6VkWMomtlmOMc9GXmC4AwfQUwIWKDjeFvSVA 7712
sudoku_smt_solvers/benchmarks/sudoku_generator/__init__.py sha256=Ob4Qt1GyqixpvZceGZxyYWd1doefukN_WnHns1SBDQg 236
sudoku_smt_solvers/benchmarks/sudoku_generator/dfs_solver.py sha256=rkuCs0frivbzLg0pF5YZvi2rfVW9qRr5vtcJxvY9Crw 3890
sudoku_smt_solvers/benchmarks/sudoku_generator/hole_digger.py sha256=yjjl9J_aeBwSVa4cc8VDMm-A7KMo2_5292zxzLaLzmQ 4793
sudoku_smt_solvers/benchmarks/sudoku_generator/las_vegas.py sha256=koXte_GjftrbZEvKscE09VcXme1i-l4YsWcjvzIYJ8k 4999
sudoku_smt_solvers/benchmarks/sudoku_generator/sudoku_generator.py sha256=pPZw6szPvMfnoydjcfYZu87-6jU5SVgmVwhGo3Ir5qw 4258
sudoku_smt_solvers/solvers/__init__.py sha256=5QRpexW7hj4nBVJnWdJzdOwh2T2iheLLgIlAYKUozvg 209
sudoku_smt_solvers/solvers/cvc5_solver.py sha256=igN27LHxUADmYw3farmEeGtjJEsrdSQEk0X0X_EItyQ 6855
sudoku_smt_solvers/solvers/dpll_solver.py sha256=itLEx8QdomSS9nA7CrhSlU7wN-e8vDInAWiwhXX-7Ug 6144
sudoku_smt_solvers/solvers/dpllt_solver.py sha256=8HJWOGU6Oj4hNpgkK96sI51bdiTfRLSlf5yhic7WeF0 7992
sudoku_smt_solvers/solvers/z3_solver.py sha256=e6WPwPdN8uUipjxNm7KRYlbsNNwGyxH3s4wy5wC8PPc 4902
sudoku_smt_solvers/solvers/utils/__init__.py sha256=TPg_Q5aZs_QOC9CEesZhf9o7uUC3c7oG_vP5nBcyc2M 65
sudoku_smt_solvers/solvers/utils/sudoku_error.py sha256=iUcv1QCgQ7anov0b-AtIB1fbfZ3yWfci4eTp_8RuUJg 208
sudoku_smt_solvers-1.0.0.dist-info/LICENSE sha256=PbuZlvluV1l4HMMfPAVe5yjVvFGBK9DFp20JNhoJ8bI 1067
sudoku_smt_solvers-1.0.0.dist-info/METADATA sha256=UYppSjYhP1njgP91HQRvvmdlX1efN-O7Rw6HS5j0zFY 6615
sudoku_smt_solvers-1.0.0.dist-info/WHEEL sha256=In9FTNxeP60KnTkGw7wk6mJPYd_dQSjEZmXdBdMCI-8 91
sudoku_smt_solvers-1.0.0.dist-info/top_level.txt sha256=Ww9vs8KC4aujzfGfddMl_X8Qzh-Cywn9aBTLQgemi5A 19
sudoku_smt_solvers-1.0.0.dist-info/RECORD — —

top_level.txt

sudoku_smt_solvers