strategoutil (pypi): Python utility functions library for UPPAAL Stratego
Keywords: uppaal|stratego|MPC