ARC is the AltaRica Checker
This program is a command-line based tool that can be used to analyze systems
modelled using the AltaRica language.
This software integrates some compilers to other languages and a model-checker
base on an older package called altatools.
Please report any bugs to email@example.com