py-aiger-bv

View on PyPIReverse Dependencies (9)

4.7.7 py_aiger_bv-4.7.7-py3-none-any.whl

Wheel Details

Project: py-aiger-bv
Version: 4.7.7
Filename: py_aiger_bv-4.7.7-py3-none-any.whl
Download: [link]
Size: 15483
MD5: ba5ab1450dac19e79cccb0eacb011a38
SHA256: 4e06bf68f0614c2c1db1f675923754c0e2a917182cde74fa2f47b0a08ed1a31c
Uploaded: 2024-03-16 19:57:44 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: py-aiger-bv
Version: 4.7.7
Summary: A python library for manipulating sequential and-inverter gates.
Author: Marcell Vazquez-Chanlatte
Author-Email: mvc[at]linux.com
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: attrs (>=22)
Requires-Dist: funcy (<2.0,>=1.12)
Requires-Dist: py-aiger (<7.0.0,>=6.1.16)
Requires-Dist: pyrsistent (<0.20,>=0.19)
Description-Content-Type: text/markdown
[Description omitted; length: 8178 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_bv/__init__.py sha256=pWP-x7nJj4Wanh4eiQXV1I1cZOEoTmk427TPCOtWLbw 1263
aiger_bv/aigbv.py sha256=0I1NR-JjYI5otNl2O4t-crlv-iBjHJDsBUcPwL1n7nQ 8455
aiger_bv/bundle.py sha256=SVwi_rby9hR8rRAUwvRy2uEIC832YxS62DngOjDM08A 3219
aiger_bv/common.py sha256=r_TPxBLfIc9Tr7ukzAD76Ivbo8N9eA0WuUQxRxnSybY 13972
aiger_bv/expr.py sha256=kOkMh6EoYtxPDh_qm-u6RbP9CywtZFP1mGS_zTvESAM 9013
py_aiger_bv-4.7.7.dist-info/LICENSE sha256=SheOdIxUtOZPx6n-JuOTKQXYzb2gtn8PYeivOwmaY2k 1082
py_aiger_bv-4.7.7.dist-info/METADATA sha256=5uoHQ_gQ5_3XXGgqyQNyeSEJ8VdW0UG4Hy7BUcsW-7M 8999
py_aiger_bv-4.7.7.dist-info/WHEEL sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg 88
py_aiger_bv-4.7.7.dist-info/RECORD