Biddy BDD Package - Summary

This group is not part of the GNU Project.

Biddy is a multi-platform academic Binary Decision Diagrams package.

Binary Decision Diagrams are popular data structure for representing Boolean functions. They are extensively used in software for formal verification of systems.

Biddy uses ROBDDs with complement edges as described in "K.S. Brace, R.L. Rudell, R.E. Bryant. Efficient Implementation of a BDD Package. 27. ACM/IEEE DAC, pages 40-45, 1990."

Biddy is in fact a library of functions with API. It is oriented towards readable and comprehensible source code in C. It is primary intended for educational purposes.

There are two aditional packages included in Biddy project: bddview and Bdd Scout. bddview is a pure Tcl/Tk script for visualization of BDDs. BDD Scout is a demo application demonstrating the capability of Biddy and bddview.

Biddy is already used in EST, a tool for formal verification of systems.

Registration Date: Mon 25 Aug 2008 08:56:47 AM UTC
License: GNU General Public License v2 or later
Development Status: 5 - Production/Stable