Wheelodex » Projects » py-aiger

py-aiger

View on PyPI — Reverse Dependencies (12)

7.0.0 py_aiger-7.0.0-py3-none-any.whl

Wheel Details

Project: py-aiger
Version: 7.0.0
Filename: py_aiger-7.0.0-py3-none-any.whl
Download: [link]
Size: 19243
MD5: a0c272bf63ce51ff1aba9d2273b5ed00
SHA256: ec51d208f36b6ea36b6ef8dd8e90f028f209e02fef5f91304d1c564aed0a9476
Uploaded: 2024-12-17 18:51:21 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: py-aiger
Version: 7.0.0
Summary: A python library for manipulating sequential and-inverter gates.
Author: Marcell Vazquez-Chanlatte
Author-Email: marcell.vc[at]eecs.berkeley.edu
Home-Page: https://github.com/mvcisback/py-aiger
Project-Url: Repository, https://github.com/mvcisback/py-aiger
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 (>=23)
Requires-Dist: bidict (<0.23.0,>=0.22.0)
Requires-Dist: funcy (<2.0,>=1.12)
Requires-Dist: pyrsistent (<0.20.0,>=0.19.0)
Requires-Dist: sortedcontainers (<3.0.0,>=2.3.0)
Description-Content-Type: text/markdown
[Description omitted; length: 8427 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/__init__.py sha256=7vg7Kvp6QJeBmQ5W2CoB408EX3dsSzgIkihePS4Zbfw 287
aiger/aig.py sha256=6QoulAHFknZ9mRvN7WM-m8U2YIPHc9_vf2Rl8P_sSZ4 8821
aiger/common.py sha256=HeYKHuTbt5MXhSOW1uJwXEIhemCxkjVijK2oUzua5yg 5664
aiger/expr.py sha256=MRloJeWBpIzRI09BV2H-RM5XGRiJYSSKaWyVtx9CLSU 2253
aiger/hypothesis.py sha256=J8vgWrKuOX6v5Yq55hW5yh1W_N82b7xlPj8LQtGIoIo 148
aiger/lazy.py sha256=-NvOK_JpJ9syJIJWrmWRdxLVfNtQ7apQl5Zvaqkg7Vc 15682
aiger/parser.py sha256=qyt8k6F5_nSHsv39KKQmCTpJZXmW9Z_9-fIcf8ZxAqE 10612
aiger/writer.py sha256=mqzjR2sg6XfghXpHIW7QSOC7e7BgQk2pgK5K34xV1cQ 2735
py_aiger-7.0.0.dist-info/LICENSE sha256=SheOdIxUtOZPx6n-JuOTKQXYzb2gtn8PYeivOwmaY2k 1082
py_aiger-7.0.0.dist-info/METADATA sha256=-EOGYh6Vzs2e99ZM3jSPZCtGkuozS0tk0J5rkXGOj4c 9424
py_aiger-7.0.0.dist-info/WHEEL sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg 88
py_aiger-7.0.0.dist-info/RECORD — —