py-aiger

View on PyPIReverse Dependencies (8)

3.3.6 py_aiger-3.3.6-py3-none-any.whl

Wheel Details

Project: py-aiger
Version: 3.3.6
Filename: py_aiger-3.3.6-py3-none-any.whl
Download: [link]
Size: 17408
MD5: 316672177e089384298fbe5599dea322
SHA256: 561f7749621c1320ba12b9c868ec50dd94901457a2bffe31049926afb6935d62
Uploaded: 2019-10-19T19:31:01

dist-info

METADATA

Metadata-Version: 2.1
Name: py-aiger
Version: 3.3.6
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.6
Classifier: Programming Language :: Python :: 3.7
Requires-Python: >=3.6,<4.0
Requires-Dist: attrs (<20.0,>=19.1)
Requires-Dist: bidict (<0.19.0,>=0.18.0)
Requires-Dist: funcy (<2.0,>=1.12)
Requires-Dist: parsimonious (<0.9.0,>=0.8.1)
Requires-Dist: pyrsistent (<0.16.0,>=0.15.4)
Requires-Dist: toposort (<2.0,>=1.5)
Description-Content-Type: text/markdown
[Description omitted; length: 7302 characters]

WHEEL

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

RECORD

Path Digest Size
aiger/__init__.py sha256=NvLAPMZp5OJgMMYb0i7mfRHFR1SpgFvdwdyDYsfd44A 257
aiger/aig.py sha256=QU5SIgdz01AVWLKMLZrPCIcxN-X2GP61D9scFrkFDzA 10867
aiger/common.py sha256=deeC3HXDCT2ifywHy0AORT2Eq3M6ac6aFE_dcl4wgBg 4377
aiger/expr.py sha256=QDpx1hPKyA614Kr69aCMKXurbZkZ-UQruZB9YsWDJmc 1729
aiger/hypothesis.py sha256=X6uRHZW93nuxAxs6hhgZ8uL1xkWuVJ-Edogi1eYAaRU 1727
aiger/parser.py sha256=_f0-gnyceB7knaqnjvSJ7fz5kKOvplchfRCxttUzizQ 10109
aiger/test_aig.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
aiger/test_common.py sha256=6Tiy-wANsnLAP4GdhFPgX-rubxbzWA-Senif6BmY3jI 6573
aiger/test_expr.py sha256=UwtfF7N8GZWnaPuWDhSbIdM5Fb4ceWBqYfV3uAlyB3Y 1756
aiger/test_hypothesis.py sha256=2KL2qIHdlUiYe0kXI9a0LSnUSfm1UhTxFpcpbdHMmZE 137
aiger/test_parser.py sha256=TVg8hCtjFFdbqs7RypwQ2l18MmYSzeWOi3BNbVm9Od0 1841
py_aiger-3.3.6.dist-info/LICENSE sha256=SheOdIxUtOZPx6n-JuOTKQXYzb2gtn8PYeivOwmaY2k 1082
py_aiger-3.3.6.dist-info/WHEEL sha256=f_L0I4hqSDuunYLcjib7afhVEQa4uCwremk0_wPx54s 85
py_aiger-3.3.6.dist-info/METADATA sha256=bcvcnNs56l-CJGZ6TjIO_w6C7p636SwoAgEA7Fv6K9M 8137
py_aiger-3.3.6.dist-info/RECORD