GitHub repository: mihsamusev/strategoutil
Primary language: Python
Created: 2021-03-18T17:18:45Z
Description: Utility functions to interface UPPAAL Stratego with python