mainBiddy BDD Package - Summary

Membership Info
Group Admin:
1 active member

Group identification
Id: 9957
System Name: biddy
Name: Biddy BDD Package
Group Type: non-GNU software and documentation

Search in this Group


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


Back to the top

Powered by Savane 3.13-4b48.
Corresponding source code