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

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

干杯!

Answer 2

PyEDA 作者在这里。

这里有一个示例 IPython 笔记本。它有一些可能会有所帮助的例子。