freshmeat.net: Project details for BDD BuDDy

02:29 UTC

[Project]

BDD BuDDy - Default branch

Sections: Mac OS X, Unix

Added: Tue, Jul 31st 2007 04:44 UTC (1 year, 1 month ago)

Updated: Wed, Aug 1st 2007 02:06 UTC (1 year, 1 month ago)

About:
BuDDy was created as part of a PhD project on model checking of finite state machines by Jørn Lind-Nielsen. The package has evolved from a simple introduction to Binary Decision Diagrams (BDDs) to a full blown BDD package with all the standard BDD operations, reordering, a C++ interface, and a wealth of documentation.

Author:
Haim Cohen <haimcohen (at) users (dot) sourceforge (dot) net> [contact developer]

Homepage:
http://buddy.sourceforge.net
Tar/GZ:
http://sourceforge.net/projects/buddy

Trove categories: [change]
[Development Status] 6 - Mature
[Intended Audience] Developers
[License] DFSG approved
[Operating System] MacOS X, POSIX, Unix
[Programming Language] C, C++
[Topic] Scientific/Engineering, Scientific/Engineering :: Mathematics, Software Development :: Libraries

Dependencies: [change]
No dependencies filed

Project admins: [change]
» Nikos Gorogiannis (Owner)

» Rating: (not rated)
» Vitality: 0.00% (Rank 25453)
» Popularity: 0.14% (Rank 29790)

(click to enlarge graphs)

   Record hits: 1,208
   URL hits: 329
   Subscribers: 4

Other projects from the same categories:
Tempest-AM
Advanced Typewriter Text Effects
AsyncResolv
xsbrowser
ILFIVE

Users who subscribed to this project also subscribed to:
DynamicRelay
zCI
BzrLog
dhcpclient
grub-choose-default

Add comment · Rate this project · Subscribe to new releases · Ignore this project · Email this project to a friend · Project record in XML

Branches

Branch Version Last release License URLs

Default 2.4 01-Aug-2007 DFSG approved