binary decision diagrams (BDD)

2017-12-20 Thread Wild, Marcel, Dr
Hello every body, I'm new here and this is my first question. I really don't know anything about Python (I use Mathematica) but with the help of others learned that g=expr2bdd(f) makes the BDD g of a Boolean function f. But what is the easiest (fool-proof) way to print out the diagram of g (i.

binary decision diagrams

2017-12-20 Thread Wild, Marcel, Dr
Hello everybody: I really don't know anything about Python (I'm using Mathematica) but with the help of others learned that g=expr2bdd(f) makes the BDD (=binary decision diagram) g of a Boolean function f. But what is the easiest (fool-proof) way to print out a diagram of g ? Regards, Marcel