Are there any mature Binary Decision Diagram tools available?
Are there any Binary Decision Diagram (BDD) libraries for C, or other languages that are tested and have good documentation? ...
binary-decision-diagram
What is the best Binary Decision Diagram library for Java?
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. JavaBDD JDD JBDD If you know of any other BDD libraries available for Java programs, please let me know so that I add it t...
Binary Decision Diagram library for windows
After trying to get jinc compiled under windows and quickly running into hundreds of compiler errors I'm looking for a quality BDD library that will build for windows. Preferably in C or C++ but as long as I can bind to it I'm happy. ...
Heuristics for estimating the efficiency of Reduced Ordered Binary Decision Diagrams?
Reduced Ordered Binary Decision Diagrams (ROBDD) are an efficient data structure for boolean functions of multiple variables f(x1,x2,...,xn). I would like to get an intuition for how efficient they are. For instance, for data compression, we know that data with low entropy (some symbols appearing more often than other, many repetitions)...