gentoo.mahdi.cz
dev-python
:dd
Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
https://github.com/tulip-control/dd
dd-0.6.0
BSD
download
~amd64 ~x86
pypi