Explore projects
-
resources / ADOxx Modules / ADoy
MIT LicenseADoy is a software tool and a workflow for dynamically integrating ADOxx and Alloy.
Updated -
This module provides Java classes and a runnable .jar file to manage ADOxx-based implementations in ALL and ABL format.
Updated -
-
-
-
-
-
Damiano Falcioni / ADOxx ABL-ALL Java API
MIT LicenseUpdated -
Updated -
-
-
-
-
-
-
-
-
