Skip to content

GitLab

Explore

Sign in
Register

ADoy

Project information

ADoy is a software tool and a workflow for dynamically integrating ADOxx and Alloy.

ADOxx 1.8 tool Java

+ 1 more

367 Commits
1 Branch
17 Tags
2 Releases

README
MIT License

Created on

July 30, 2024

Copy HTTPS clone URLhttps://code.omilab.org/resources/adoxx-modules/adoy.git

Loading

Code Repository of the OMiLAB Community (operated by OMiLAB NPO)