Wheelodex » Projects » py-aiger-sat » py_aiger_sat-3.0.7-py3-none-any.whl

py-aiger-sat

View on PyPI — Reverse Dependencies (2)

3.0.7 py_aiger_sat-3.0.7-py3-none-any.whl

Wheel Details

Project: py-aiger-sat
Version: 3.0.7
Filename: py_aiger_sat-3.0.7-py3-none-any.whl
Download: [link]
Size: 6111
MD5: ac9730ee1c72cae46de61d57ba2a60ae
SHA256: 301bf572ff67b14bb0121fa74a838219c6867506949206d462568e1c55e7ddbb
Uploaded: 2024-03-16 19:29:04 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: py-aiger-sat
Version: 3.0.7
Summary: Pythonic interface between AIGs and SAT solvers.
Author: Marcell Vazquez-Chanlatte
Author-Email: mvc[at]linux.com
Home-Page: https://github.com/mvcisback/py-aiger-sat
Project-Url: Repository, https://github.com/mvcisback/py-aiger-sat
License: MIT
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Requires-Python: >=3.10,<4.0
Requires-Dist: py-aiger (<7.0.0,>=6.0.0)
Requires-Dist: py-aiger-bv (<5.0.0,>=4.0.0); extra == "bitvector"
Requires-Dist: py-aiger-cnf (<6.0.0,>=5.0.0)
Requires-Dist: python-sat (==1.*)
Provides-Extra: bitvector
Description-Content-Type: text/markdown
[Description omitted; length: 3270 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.9.0
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
aiger_sat/__init__.py sha256=pQMNyyxwMgtf8cMQ7XwsHlYGI1NB_oBqEaVVSQlezO0 91
aiger_sat/sat.py sha256=xj3woMmdOoZR7arwrDUXxfuCi_dF6UGtYoicgSz7glg 2783
aiger_sat/sat_bv.py sha256=5mSxFFwTsN2fL1jfMtHpN5CsgV5aYWN6pSIKi504X70 771
aiger_sat/test_sat.py sha256=5lNDsK3h8abup3g_ZNMwsfCcoo3xtGvJAc_eSLtuRp4 1402
aiger_sat/test_satbv.py sha256=gv5ukGebvbq8mnyx7BdqPCLXAeNpm_1wzF3ebwkzN5k 398
py_aiger_sat-3.0.7.dist-info/LICENSE sha256=TsIcmtcb4ejYUV6d6hxHqCVHR1c-hWgWfv03ZBk9Xto 1082
py_aiger_sat-3.0.7.dist-info/METADATA sha256=1lWzbX8Bx0aNDGjoIuYwc0v1RE8iSrGI7sjcllnQ9tw 4114
py_aiger_sat-3.0.7.dist-info/WHEEL sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg 88
py_aiger_sat-3.0.7.dist-info/RECORD — —