Wheelodex » Projects » py-aiger-dfa

py-aiger-dfa

View on PyPI — Reverse Dependencies (0)

0.4.2 py_aiger_dfa-0.4.2-py3-none-any.whl

Wheel Details

Project: py-aiger-dfa
Version: 0.4.2
Filename: py_aiger_dfa-0.4.2-py3-none-any.whl
Download: [link]
Size: 7655
MD5: 81096693ff5b706e2aca1ac87579ed95
SHA256: 88f33c33f7da6bfab70f8d5290dc3fc318aa16732a8ff4cbc4575e281f375a87
Uploaded: 2023-04-23 06:58:12 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: py-aiger-dfa
Version: 0.4.2
Summary: Library for moving between sequential circuits AIGs and DFAs.
Author: Marcell Vazquez-Chanlatte
Author-Email: mvc[at]linux.com
Home-Page: https://github.com/mvcisback/py-aiger-dfa
Project-Url: Repository, https://github.com/mvcisback/py-aiger-dfa
License: MIT
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Requires-Python: >=3.9,<4.0
Requires-Dist: attrs (<23,>=22)
Requires-Dist: bidict (<0.23.0,>=0.22.0)
Requires-Dist: dfa (<5,>=4)
Requires-Dist: funcy (<2.0,>=1.12)
Requires-Dist: py-aiger (<7.0.0,>=6.0.0)
Requires-Dist: py-aiger-bv (<5.0.0,>=4.7.6)
Requires-Dist: py-aiger-ptltl (<4.0.0,>=3.0.0)
Requires-Dist: pyrsistent (<0.20,>=0.19)
Description-Content-Type: text/markdown
[Description omitted; length: 2926 characters]

WHEEL

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

RECORD

Path Digest Size
aiger_dfa/__init__.py sha256=itMcIgAnu_zvvY2DpOwpvVDWUuTPQ9J6M_lqYNYCinY 91
aiger_dfa/aig2dfa.py sha256=4CMASbgtDISRjFo3HvW_5az5n4JxeIuSjfdbJTaPKEs 2566
aiger_dfa/dfa2aig.py sha256=qE-7DGSEMLJ6NfBu5j4TJtrRLW1dxuimAY7fO4Zqnb8 3670
aiger_dfa/test_aig2dfa.py sha256=ZE-y8EVxXrDY2rraxW7d9Wk7G8BpijJTJFZbmVzi0zg 1278
aiger_dfa/test_dfa2aig.py sha256=coIG9Tz-EX9K4Ws3QUCex0p5HKDRC62spAgWRKGkuiE 1288
aiger_dfa/utils.py sha256=SGHdmtCQfXMF0usNbgtpICJMMMjtiESMTqeQspvJnQQ 65
py_aiger_dfa-0.4.2.dist-info/LICENSE sha256=SheOdIxUtOZPx6n-JuOTKQXYzb2gtn8PYeivOwmaY2k 1082
py_aiger_dfa-0.4.2.dist-info/METADATA sha256=Z9OPshljOWJBSl05ApMxTCxG1H8plm8Kxbv_hDLxIJQ 3879
py_aiger_dfa-0.4.2.dist-info/WHEEL sha256=vVCvjcmxuUltf8cYhJ0sJMRDLr1XsPuxEId8YDzbyCY 88
py_aiger_dfa-0.4.2.dist-info/RECORD — —