alloymda online with Winfy

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

Quick description about alloymda:

This project intends to develop tools to enable MDA support for the formal modeling language Alloy.

Audience: Information Technology, Science/Research.
User interface: Command-line.
Programming Language: Haskell.

.