PyPI page
Home page
Author:
Marcell Vazquez-Chanlatte
License:
MIT
Summary:
Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.
Latest version:
0.3.7
Required dependencies:
bdd2dfa
|
dd
|
funcy
|
networkx
|
py-aiger
|
py-aiger-bdd
|
py-aiger-bv
Downloads last day:
4
Downloads last week:
8
Downloads last month:
55