Java Decision Diagrams (BDD) libraries: JDD and JBDD
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
The goal of this project is to develop open-source libraries for interval arithmetic and interval constraints in a wide variety of languages and for a wide variety of platforms. Demos and documentation will also be developed.
provided.
A version of the source I used in these videos on youtube: http://www.youtube.com/watch?v=5k6arok7zac http://www.youtube.com/watch?v=TaNu8-ObsXU and http://www.youtube.com/watch?v=7qAq61ATgqo . It requires Sunflow, JBullet, and Java.