A Binary Decision Diagram (BDD) is a data structure to represent boolean functions. I'd like use this data structure in a Java program. My search for Java based BDD libraries resulted into the following packages.
If you know of any other BDD libraries available for Java programs, please let me know so that I add it to the list above. If you have used any of these libraries, please tell me about your experience with the library. In particular, I'd like you to compare the available libraries along the following dimensions.
- Quality. Is the library mature and reasonably bug free?
- Performance. How do you evaluate the performance of the library?
- Support. Could you easily get support whenever you encountered a problem with the library? Was the library well documented?
- Ease of use. Was the API well designed? Could you install and use the library quickly and easily?
Please mention the version of the library that you are evaluating.