meddly online with Winfy

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

Quick description about meddly:

Meddly (Multi-terminal and Edge-valued Decision Diagram LibrarY) is a C++ library that natively supports various types of decision diagrams, including BDDs, MDDs, MTMDDs, EV+MDDs, and EV*MDDs. Advanced features include: compact and customizable node storage, configurable garbage collection, and many built-in operations (with compute table support).

Audience: Science/Research, Developers.

Programming Language: C++.
.