binary decision diagrams

[Devin Jeanpierre]

On Mon, Dec 18, 2017 at 5:00 AM, Wild, Marcel, Dr <mwild at sun.ac.za>
<mwild at sun.ac.za> wrote:
> 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 ?

Python doesn't come with support for (ro)bdds built-in. You're
probably thinking of this library, which includes visualization
instructions:

http://pyeda.readthedocs.io/en/latest/bdd.html

-- Devin