Wrapper for ITS-Tools used in the Model-Checking contest
Primary LanguageShellGNU General Public License v3.0GPL-3.0