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

乾杯！