Skip to content

GitLab

Explore

Sign in

ADoy

Project information

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

ADOxx 1.8 tool Java

367 Commits
1 Branch
17 Tags
2 Releases

README
MIT License

Created on

July 30, 2024

Loading

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