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

[Robert Meolic]

URL:
  <http://savannah.nongnu.org/task/?8163>

                 Summary: Submission of Biddy BDD Package
                 Project: Savannah Administration
            Submitted by: meolic
            Submitted on: Thursday 15/05/08 at 11:04
         Should Start On: Thursday 15/05/08 at 00:00
   Should be Finished on: Sunday 25/05/08 at 00:00
                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

    _______________________________________________________

Details:

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
<https://savannah.nongnu.org/siteadmin/groupedit.php?group_id=9826> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration
<https://savannah.nongnu.org/siteadmin/groupedit.php?group_id=9826>


= 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
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,
http://www.graphviz.org/License.php)
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: ====
http://lms.uni-mb.si/biddy/biddy.tar.gz






    _______________________________________________________

Reply to this item at:

  <http://savannah.nongnu.org/task/?8163>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/