Wheelodex » Projects » py-aiger-discrete

py-aiger-discrete

View on PyPI — Reverse Dependencies (2)

0.1.10 py_aiger_discrete-0.1.10-py3-none-any.whl

Wheel Details

Project: py-aiger-discrete
Version: 0.1.10
Filename: py_aiger_discrete-0.1.10-py3-none-any.whl
Download: [link]
Size: 7484
MD5: 8f9faf87c0203cd0ed610efc3640154a
SHA256: 946999bed701458e0678680ed0bac9b49305cef3712c313344961c5d05905a65
Uploaded: 2022-11-03 04:55:22 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: py-aiger-discrete
Version: 0.1.10
Summary: Library for modeling functions over discrete sets using aiger circuits.
Author: Marcell Vazquez-Chanlatte
Author-Email: mvc[at]linux.com
Home-Page: https://github.com/mvcisback/py-aiger-discrete
Project-Url: Repository, https://github.com/mvcisback/py-aiger-discrete
License: MIT
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.9
Requires-Python: >=3.9,<4.0
Requires-Dist: funcy (<2.0,>=1.14)
Requires-Dist: mdd (<0.4.0,>=0.3.3); extra == "mdd"
Requires-Dist: py-aiger-bv (<5.0.0,>=4.5.1)
Requires-Dist: py-aiger-ptltl (<4.0.0,>=3.0.1)
Requires-Dist: pyrsistent (<0.20,>=0.19)
Provides-Extra: mdd
Description-Content-Type: text/markdown
[Description omitted; length: 3754 characters]

WHEEL

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

RECORD

Path Digest Size
aiger_discrete/__init__.py sha256=9BJNBJ6m9vFSFj3G2FIYY-Z_Hh4HHpLX7DMo62lPQwI 53
aiger_discrete/discrete.py sha256=-wxKIJE9cN890sW7X1ZuuIlpzu0m6GlFF0cCzl9NQOs 9247
aiger_discrete/mdd.py sha256=8Ib-CGnbp3MZiHISu9A5NNAAUh8QJhbIb7K4CU1n38I 1760
py_aiger_discrete-0.1.10.dist-info/LICENSE sha256=jEKY2ty3xNTu8AWYGVOoJCqCwJoap-EzVMycErqZLyA 1082
py_aiger_discrete-0.1.10.dist-info/WHEEL sha256=DA86_h4QwwzGeRoz62o1svYt5kGEXpoUTuTtwzoTb30 83
py_aiger_discrete-0.1.10.dist-info/METADATA sha256=oggFWo-NyVKRHkLv3PRt3owEen7pmVZPjWDi8DmUCJY 4636
py_aiger_discrete-0.1.10.dist-info/RECORD — —