javabdd

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

Quick description about javabdd:

Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.

Audience: Developers, Science/Research.

Programming Language: Java.
Categories: