Export BDD feature

Brought to you by: behrmann

#1 Export BDD feature

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2004-07-20

Created: 2004-07-20

Private: No

This patch adds export feature to iben.
It also changes the graph representation's look to show
arcs directed to the FALSE constant.