如何使用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

PyEDA作者在这里。

有一个例子IPython笔记本here。它有一些可能有用的例子。

Answer 2

我只使用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) 

将在当前工作目录中创建一个pdf，名称为render_pdf_name。

干杯！