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 altarica@groupes.renater.fr