Metadata-Version: 2.1
Name: mdd
Version: 0.1.0
Summary: Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.
License: MIT
Author: Marcell Vazquez-Chanlatte
Author-email: mvc@linux.com
Requires-Python: >=3.7,<4.0
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Requires-Dist: dd (>=0.5.5,<0.6.0)
Requires-Dist: funcy (>=1.14,<2.0)
Requires-Dist: py-aiger (>=6.1.1,<7.0.0)
Requires-Dist: py-aiger-bdd (>=3.0.0,<4.0.0)
Requires-Dist: py-aiger-bv (>=4.3.0,<5.0.0)
