dd (pypi): Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
Keywords: bdd|binary decision diagram|decision diagram|boolean|networkx|dot|graphviz|binary-decision-diagrams|cudd|cython|python|sylvan|zdd