Java Decision Diagram Libraries (BDD) Icon

Java Decision Diagram Libraries (BDD)

Java Decision Diagrams (BDD) libraries: JDD and JBDD

Add a Review
0 Downloads (This Week)
Last Update:



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

If you are wondering why the move was made after 14 years (!!) on SourceForge, I suggest you read this article:

Java Decision Diagram Libraries (BDD) Web Site


Other Useful Business Software

See the Top 5 Processes in each line of business Icon

Improve your workflow by getting familiar with how Intelligent Process Automation eliminates busywork across multiple departments.

See the Top 5 Processes in each line of business Icon
Process inefficiencies are a drain on any business, no matter how big or small, so speeding up your workflow is an absolute essential. Download the FREE Top 5 Process guides to better understand how workflow automation looks within each line of business like IT, Sales, Finance, and Human Resources. Remember, just because you’ve established a process within your organization or department, it doesn’t mean that it’s working as well as it could be.
Write a Review

User Reviews

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

Additional Project Details



Intended Audience

Science/Research, Developers

Programming Language

C, Java



Thanks for helping keep SourceForge clean.

Screenshot instructions:
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

No, thanks