Model Checker Collection for the Model Checking Contest @ Petri nets
Primary LanguagePythonMIT LicenseMIT