bdd compression

We have hosted the application bdd compression in order to run this application in our online workstations with Wine or directly.

Quick description about bdd compression:

An algorithm for compression and decompression of Binary Decision Diagrams will in many cases reduce the size of the BDD to 1-2 bits per node.

Audience: Science/Research.
User interface: Console/Terminal.
Programming Language: Java.

.