Explore projects

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

This module provides Java classes and a runnable .jar file to manage ADOxx-based implementations in ALL and ABL format.