GitHub repository: kzorina/agimus-demos
Description: Description of the environments for the AGIMUS demos.