A multi-formalism, multi-solution model-checker centered on the language GAL
Primary LanguagePythonGNU General Public License v3.0GPL-3.0