bdd compression online with Winfy

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.

.