pyddlib (pypi): pyddlib is a Python3 library for manipulating decision diagrams (DD).
Keywords: decision|diagrams|BDD|ADD|symbolic|boolean|data|structure|add|algebraic-data-types|bdd|decision-diagrams|logic|symbolic-manipulation