GitHub repository: koehlma/momba
Primary language: PDDL
Created: 2020-09-10T13:20:07Z
Description: A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.