This project used to contain two decision
diagrams libraries:
- JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy
- JDD: a native Java library supporting BDD, Z-BDD

Both projects have now been moved to bitbucket.org:
- https://bitbucket.org/vahidi/jbdd/wiki/Home
- https://bitbucket.org/vahidi/jdd/wiki/Home

If you are wondering why the move was made after 14 years (!!) on SourceForge, I suggest you read this article: http://arstechnica.com/information-technology/2015/05/sourceforge-grabs-gimp-for-windows-account-wraps-installer-in-bundle-pushing-adware/

Project Samples

A binary decision diagram A zero-suppressed binary decision diagram

Project Activity

See All Activity >

Categories

Electronic Design Automation (EDA), Artificial Intelligence, Mathematics

License

zlib/libpng License

Follow Java Decision Diagram Libraries (BDD)

Java Decision Diagram Libraries (BDD) Web Site

Other Useful Business Software

Take Our Survey. We Plant a Tree. Take Our Survey. We Plant a Tree. Icon
Take Our Survey. We Plant a Tree. Icon

In honor of Earth Day, HPCC Systems is committed to planting 10,000 new trees across our national forests.

HPCC Systems is dedicated to the environment and is giving you the opportunity to take action and be a small part of a big impact. In partnership with the National Forest Foundation, HPCC Systems is growing and promoting awareness of environmental sustainability with their 10K Trees Challenge. The best time to plan a tree was 20 years ago. The second best time is now! Take our survey and take part in helping the environment.
Plant A Tree

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of Java Decision Diagram Libraries (BDD)!

Additional Project Details

Languages

English

Intended Audience

Science/Research, Developers

Programming Language

C, Java

Registered

2004-07-07
Report inappropriate content