Wheelodex » Projects » py-aiger-bdd

py-aiger-bdd

View on PyPI — Reverse Dependencies (3)

3.1.3 py_aiger_bdd-3.1.3-py3-none-any.whl

Wheel Details

Project: py-aiger-bdd
Version: 3.1.3
Filename: py_aiger_bdd-3.1.3-py3-none-any.whl
Download: [link]
Size: 4840
MD5: e7ec167e176dc1b4945ac80343747e5c
SHA256: 8143d23044c9595835888e88c8915546536637f1f3220cd2d171afe3665baa99
Uploaded: 2024-04-02 03:02:42 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: py-aiger-bdd
Version: 3.1.3
Summary: Aiger to BDD bridge.
Author: Marcell Vazquez-Chanlatte
Author-Email: mvc[at]linux.com
Home-Page: https://github.com/mvcisback/py-aiger-bdd
Project-Url: Repository, https://github.com/mvcisback/py-aiger-bdd
License: MIT
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Requires-Python: >=3.11,<4.0
Requires-Dist: attrs (>=22)
Requires-Dist: bidict (<0.23.0,>=0.22.0)
Requires-Dist: dd (<0.7.0,>=0.6.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: 1169 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_bdd/__init__.py sha256=GbvSvNCk0-66nl8B8pbLpfeHsNo8ffhFNAkSNN6NIXM 76
aiger_bdd/bdd.py sha256=dw3K8s1jfwgXgt5RJKVK6lZiUnkldYlAcakwx2T28Ck 3148
aiger_bdd/test_bdd.py sha256=XbHo5rs7dC4Y7Cdd2sW3NmuNqgcusj-fAk5gMNuL7WQ 1627
py_aiger_bdd-3.1.3.dist-info/LICENSE sha256=SheOdIxUtOZPx6n-JuOTKQXYzb2gtn8PYeivOwmaY2k 1082
py_aiger_bdd-3.1.3.dist-info/METADATA sha256=Lw09shU1_FBFM0mWKrF4QTwgqUSbEV51LSgHgI60LV8 1901
py_aiger_bdd-3.1.3.dist-info/WHEEL sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg 88
py_aiger_bdd-3.1.3.dist-info/RECORD — —