PyPI page
Home page
Author:
Caltech Control and Dynamical Systems
License:
BSD
Summary:
Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
Latest version:
0.6.0
Required dependencies:
astutils
|
networkx
|
ply
|
setuptools
Downloads last day:
847
Downloads last week:
5,519
Downloads last month:
22,374