A Binary Decision Diagram library, with : many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more.
Download buddy
Project Admins:
haimcohen
Operating System:
All POSIX (Linux/BSD/UNIX-like OSes)
License:
Public Domain
Category:
Electronic Design Automation (EDA), Mathematics
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest
Public Areas
-
Bugs
: (1 open / 7 total)
Bug Tracking System -
Support Requests
: (0 open / 0 total)
Tech Support Tracking System -
Patches
: (4 open / 4 total)
Patch Tracking System -
Feature Requests
: (1 open / 1 total)
Feature Request Tracking System - Mailing Lists : (3 total)
-
CVS Repository
: (0 commits,
0 reads)
Browse CVS
Most Active Projects in Category
Project Details
-
Project Admins :
haimcohen
- Developers : 4
- Development Status : 5 - Production/Stable
- Intended Audience : Developers, Information Technology, Science/Research
- License : Public Domain
- Operating System : All POSIX (Linux/BSD/UNIX-like OSes)
- Programming Language : C, C++
- Topic : Electronic Design Automation (EDA), Mathematics
- Translations : English
- Project UNIX name : buddy
- Registered : 2004-06-22 16:29
- Activity Percentile (last week) : 81.56
- View project activity statistics
- View list of RSS feeds available for this project