jjs bdd to run in linux online

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

Quick description about jjs bdd to run in linux online:

JJS-BDD provides a library for manipulating switching functions in an efficient way (based on sobdd).
There is a GUI for small bdd's where you can see how bdd's work (for teaching purposes).

Audience: Science/Research.
User interface: KDE.
Programming Language: C++.

.