taskSavannah Administration - Tasks: task #8163, Submission of Biddy BDD Package


task #8163: Submission of Biddy BDD Package

Submitted by:  Robert Meolic <meolic>
Submitted on:  Thu 15 May 2008 11:04:12 AM UTC  
Should Start On:  Thu 15 May 2008 12:00:00 AM UTC Should be Finished on:  Sun 25 May 2008 12:00:00 AM UTC
Category:  Project Approval Priority:  5 - Normal
Status:  Cancelled Privacy:  Public
Percent Complete:  0% Assigned to:  Jonathan Gonzalez V. <zeus>
Open/Closed:  Closed Effort:  0.00

Add a New Comment (Rich Markup)

You are not logged in

Please log in, so followups can be emailed to you.


Mon 30 Jun 2008 08:44:14 AM UTC, comment #3: 

Full URL of new tarball:


  Best regards, Robert

Robert Meolic <meolic>
Mon 30 Jun 2008 08:41:06 AM UTC, comment #2: 

Thank you for your review.

I cannot find resubmit button and thus I will use "Post a Comment".

I have made all changes required by you.

1. README file is included in IFIP/ folder (previously called ISCAS/ folder)

2. Bddscout (demo aplication included in the package) no longer depends on graphviz. Bddscout will still run graphviz in the background to perform some tasks (graph drawing), but the program will compile, run, and perform all other functions (e.g. benchmark tests) even if the user does not have graphviz installed on his computer.

You can find new tarball here;

Tue 17 Jun 2008 05:05:34 PM UTC, comment #1: 

Hi Robert Meoli,

I'm evaluating the project you submitted for approval in Savannah.

You have the license notice and copyright missing for all the files
inside of ISCAS/, please fix this issue.

If some of your files cannot carry such notices (e.g. binary files),
then you can add a README file in the same directory containing the
copyright and license notices. Check
http://www.gnu.org/prep/maintain/html_node/Copyright-Notices.html for
further information.

The GPL FAQ explains why these procedures must be followed.  To learn
why a copy of the GPL must be included with every copy of the code,
for example, see

On the other hand, the license of graphviz isn't compatible with the
GPL, please remove this dependency or make it optional.

Please register your project once more with the changes mentioned

Make sure to apply all changes requested, so you will only need to
re-register once.

The re-registration URL found in our acknowledgment of your earlier
registration will direct you to the proper location where you can
re-register your project.


Jonathan Gonzalez V. <zeus>
Project MemberIn charge of this item.
Thu 15 May 2008 11:04:12 AM UTC, original submission:  

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 Administration page, accessible only to site administrators, effectively logged as site administrators (superuser):

Registration Details

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


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

Binary Decision Diagrams are popular data structure for representing functions in Boolean algebra. 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 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 does not have any dependencies.

To run demo application BDD Scout you need:
1. Tcl/Tk (BSD-style license, http://www.tcl.tk/about/support.html),
2. BWidgets (BSD-style License, http://sourceforge.net/projects/tcllib)
3. graphviz (Common Public License Version 1.0,
4. bddview (this is our application and we released it into the public domain, it is included)

Other Comments:

Biddy is in fact a library. We included or public domain script bddview and our demo project BDD Scout as a part of distribution to demonstrate the usage. We also included folder ISCAS/ which contains benchmark files.

Local homepage for the project is http://lms.uni-mb.si/biddy/

Tarball URL:


Robert Meolic <meolic>


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:

No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by zeus (Posted a comment)
  • -email is unavailable- added by meolic (Submitted the item)

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.




    Follow 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2008-06-17 zeus StatusNone => Cancelled
        Assigned toNone => zeus
        Open/ClosedOpen => Closed

    Back to the top

    Powered by Savane 3.5