Category "cudd"

Python - Creating simple Algebraic Decision Diagram (ADD) with py-mdd or dd packages

I would like to create and ouput a graphical representation with Python 3 of an Algebraic Decision Diagram (ADD) [Bahar et al.]. Here an example of an ADD to ou