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:
884
Downloads last week:
3,457
Downloads last month:
11,794