Explore projects
-
resources / ADOxx Modules / ADoy
MIT LicenseADoy is a software tool and a workflow for dynamically integrating ADOxx and Alloy.
Updated -
Updated
-
Updated
-
-
-
-
-
-
-
-
-
-
-
-
-
ADoy is a software tool and a workflow for dynamically integrating ADOxx and Alloy.
Code Repository of the OMiLAB Community (operated by OMiLAB NPO)