05-ADoy - On dynamically integrating ADOxx and Alloy

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