GitHub repository: DEIS-Tools/strategoutil
Primary language: Python
Description: Utility functions to interface UPPAAL Stratego with python