py-aiger-cnf

View on PyPIReverse Dependencies (3)

5.0.8 py_aiger_cnf-5.0.8-py3-none-any.whl

Wheel Details

Project: py-aiger-cnf
Version: 5.0.8
Filename: py_aiger_cnf-5.0.8-py3-none-any.whl
Download: [link]
Size: 5136
MD5: b19c5005dbdc9fed7ff950bc772fc586
SHA256: ccda9b726d001e485b0c40f47024a601332cb6e37a45f8fbe69306c853a64eac
Uploaded: 2024-03-16 20:12:14 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: py-aiger-cnf
Version: 5.0.8
Summary: Python library to convert between AIGER and CNF
Author: Marcell Vazquez-Chanlatte
Author-Email: mvc[at]linux.com
Home-Page: https://github.com/mvcisback/py-aiger-cnf
Project-Url: Repository, https://github.com/mvcisback/py-aiger-cnf
License: MIT
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Requires-Python: >=3.7,<4.0
Requires-Dist: bidict (<0.23.0,>=0.22.0)
Requires-Dist: funcy (<2.0,>=1.12)
Requires-Dist: py-aiger (<7.0.0,>=6.0.0)
Description-Content-Type: text/markdown
[Description omitted; length: 1812 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_cnf/__init__.py sha256=S3otxSItIFOTtjqaqOVZswF8kwD7PzXsjUy6RzSvexU 49
aiger_cnf/cnf.py sha256=laAf6BH8WlWyv08VUgWTgoOI6WdcFOh5XjkqWXsDtCY 3130
aiger_cnf/test_cnf.py sha256=IzIFPQMlSdhyRqUQjplKsuV_7IcksGQ-3W_o7xV9SK4 1907
py_aiger_cnf-5.0.8.dist-info/LICENSE sha256=TsIcmtcb4ejYUV6d6hxHqCVHR1c-hWgWfv03ZBk9Xto 1082
py_aiger_cnf-5.0.8.dist-info/METADATA sha256=Zec_7Zs7MqXowKpzKvcZLHF_lBePtEQf-waOXYfbJjQ 2708
py_aiger_cnf-5.0.8.dist-info/WHEEL sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg 88
py_aiger_cnf-5.0.8.dist-info/RECORD