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)

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

干杯！

如何使用PyEDA可视化BDD？可能非常简单

2 个答案: