|
Biddy
is a multi-platform academic
Binary Decision Diagrams
package.
Biddy is free software released under GPL.
Biddy uses ROBDDs with complement edges.
Biddy is oriented towards readable and comprehensible source code in C.
Biddy is used in EST, a tool for formal verification of systems.
bddview
bddview is a pure Tcl/Tk script for visualization of BDDs.
bddview is a graph viewer only and does not use a BDD package.
bddview has been released into the public domain.
BDD Scout
BDD Scout is a demo application demonstrating the capability of Biddy and bddview.
You will need
Tcl/Tk + BWidgets
to run it.
You have to install Graphviz
to be able to visualize BDDs created by Biddy.
You have to install Ghostscript
to be able to export BDDs as PNG images and PDF documents.
Download
If you want to try BDD Scout, download it. The included program is
statically linked with Biddy library, thus it will work even if Biddy library
is not installed on your computer (and will not use your Biddy library if
you have one).
If you want to change BDD Scout or start your own project using
Biddy, you will also need the development version of Biddy. It
consists of Biddy library, the appropriate C header and some documentation.
If you try to run a program which uses Biddy library, but you do
not have it, download the binary version of Biddy. It contains Biddy
library, only.
If you are interested in changing Biddy library, download the
complete source code of the Biddy project, which includes sources
of bddview, sources of BDD Scout, and also various makefiles and
packaging scripts.
External links
K. S. Brace, R. L. Rudell, and R. E. Bryant. Efficient Implementation of a BDD Package, 1990
G. Janssen. A Consumer Report on BDD Packages, 2003
|
Screenshots from
BDD Scout v1.0
The zoom-out capability allows you to see the whole BDD
You can move nodes and subgraphs
The results of IFIP benchmark test
|
