Wheelodex » Projects » py-aiger-dfa

py-aiger-dfa

View on PyPI — Reverse Dependencies (0)

0.4.4 py_aiger_dfa-0.4.4-py3-none-any.whl

Wheel Details

Project: py-aiger-dfa
Version: 0.4.4
Filename: py_aiger_dfa-0.4.4-py3-none-any.whl
Download: [link]
Size: 7993
MD5: 389e8821641e01617438cafad862170b
SHA256: 0020ef5562592337ef8ab5a6070b5ef66b63391fdac812c49c20f90014578264
Uploaded: 2024-07-01 05:35:31 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: py-aiger-dfa
Version: 0.4.4
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
Classifier: Programming Language :: Python :: 3.12
Requires-Python: >=3.9,<4.0
Requires-Dist: attrs (>=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.9.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=xq6zaCtTV8pbX2LqmdWujIBrGuo_JGOLmHG1G2aT3Oc 3335
aiger_dfa/dfa2aig.py sha256=qE-7DGSEMLJ6NfBu5j4TJtrRLW1dxuimAY7fO4Zqnb8 3670
aiger_dfa/test_aig2dfa.py sha256=ZKUsCVSMbkoE4XvZHWJwmpQ90MX0WfL9rsSTmbPbBFo 1869
aiger_dfa/test_dfa2aig.py sha256=coIG9Tz-EX9K4Ws3QUCex0p5HKDRC62spAgWRKGkuiE 1288
aiger_dfa/utils.py sha256=SGHdmtCQfXMF0usNbgtpICJMMMjtiESMTqeQspvJnQQ 65
py_aiger_dfa-0.4.4.dist-info/LICENSE sha256=SheOdIxUtOZPx6n-JuOTKQXYzb2gtn8PYeivOwmaY2k 1082
py_aiger_dfa-0.4.4.dist-info/METADATA sha256=fCRR-elHjexozdSk4HczzZB_fEr93ZqoCmX6Ai3yI-M 3926
py_aiger_dfa-0.4.4.dist-info/WHEEL sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg 88
py_aiger_dfa-0.4.4.dist-info/RECORD — —