pyevmdd (pypi): EVMDD Library for Python
Keywords: evmdd