Java Decision Diagram Libraries (BDD)

Java Decision Diagrams (BDD) libraries: JDD and JBDD

Add a Review
1 Download (This Week)
Last Update:

Screenshots

Description

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/

Java Decision Diagram Libraries (BDD) Web Site

KEEP ME UPDATED

Write a Review

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