如何使用PyEDA来可视化BDD？可能很简单

Question

我正在遵循http://pyeda.readthedocs.org/en/latest/bdd.html的教程，以可视化大多数函数BDD。我做了以下工作：

In [1]: %install_ext https://raw.github.com/cjdrake/ipython-magic/master/gvmagic.py

In [2]: %load_ext gvmagic

例如，下面是作为BDD的三个变量中的多数函数：

In [3]: a, b, c = map(bddvar, 'abc')

In [4]: f = a & b | a & c | b & c

In [5]: %dotobj

显然，我的图表现在已经制作好了，但是我如何看到它呢？网站上没有关于这方面的说明

Answer 1

我只使用了几个小时的PythonEDA，所以我的经验非常有限，但我也遇到了这个问题。我找到了一种解决方法，可以使用graphviz中的Source模块进行可视化。使用以下示例：

>>> from pyeda.inter import *

>>> from graphviz import Source

>>> a, b, c = map(bddvar, 'abc')

>>> f = a & b | a & c | b & c

>>> gv = Source(f.to_dot())

>>> gv.render('render_pdf_name',view=True)

将在当前工作目录中创建名为render_pdf_name的pdf。

干杯!

Answer 2

PyEDA的作者在这里。

这里有一个IPython notebook here的例子。它有一些可能会有所帮助的例子。