[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #8555] Submission of Biddy BDD Package

From: Robert Meolic
Subject: [Savannah-register-public] [task #8555] Submission of Biddy BDD Package
Date: Mon, 25 Aug 2008 08:56:49 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv: Gecko/20061201 Firefox/ (Ubuntu-feisty)


                 Summary: Submission of Biddy BDD Package
                 Project: Savannah Administration
            Submitted by: meolic
            Submitted on: Mon 25 Aug 2008 08:56:48 GMT
         Should Start On: Mon 25 Aug 2008 00:00:00 GMT
   Should be Finished on: Thu 04 Sep 2008 00:00:00 GMT
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
                  Effort: 0.00



A new project has been registered at Savannah 
This project account will remain inactive until a site admin approves or
discards the registration.

= Registration Administration =

While this item will be useful to track the registration process, *approving
or discarding the registration must be done using the specific Group
<> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration

= Registration Details =

* Name: *Biddy BDD Package*
* System Name:  *biddy*
* Type: non-GNU software & documentation
* License: GNU General Public License v2 or later


==== Description: ====
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

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 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.

==== Other Software Required: ====
Biddy is a library and does not have any dependencies.

To run included demo application BDD Scout you need:
1. Tcl/Tk (BSD-style license,,
2. BWidgets (BSD-style License,
3. bddview (this is our application and we released it into the public
domain, it is included in tarball)

Bdd Scout use graphviz package ( to
prepare graphs for viewing but this is optional and the program will compile,
run, and perform all other functions even if the user does not have graphviz
installed on his computer.

==== Other Comments: ====
This project have been previously submitted to Savannah and canceled due to
licence problems with graphviz. Now, Bdd Scout no longer depends on graphviz.
The reviewer proposed resubmiting using "resubmit button". I could not find
this button and thus I used "Post a Comment". But after 2 months without
answer I decided to submit it again using regular form.

Link to previous discussion:

==== Tarball URL: ====


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]