I'm following the tutorial at http://pyeda.readthedocs.org/en/latest/bdd.html to visualize a majority function BDD. I've done the following :
In [1]: %install_ext https://raw.github.com/cjdrake/ipython-magic/master/gvmagic.py
In [2]: %load_ext gvmagic
For example, here is the majority function in three variables as a BDD:
In [3]: a, b, c = map(bddvar, 'abc')
In [4]: f = a & b | a & c | b & c
In [5]: %dotobj
Apparently my graph is now made, but how do I see it? There are no instructions for that on the website