Как использовать 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 только в течение нескольких часов, поэтому мой опыт очень ограничен, но у меня тоже была эта проблема. Я нашел обходной путь для визуализации с помощью модуля Source в graphviz. Используя пример:

>>> 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. Есть несколько примеров, которые могут помочь.