This project has been moved to bitbucket.org:
- https://bitbucket.org/vahidi/jbdd/wiki/Home
- https://bitbucket.org/vahidi/jdd/wiki/Home
It includes two libraries for working with decision diagrams:
- JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy
- JDD: a native Java library supporting BDD, Z-BDD
License
zlib/libpng LicenseFollow Java Decision Diagram Libraries (BDD)
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Java Decision Diagram Libraries (BDD)!