strategoutil 0.0.2

Python utility functions library for UPPAAL Stratego

strategoutil

Utility functions to interface UPPAAL Stratego with python

Repo status

See which OS and Python versions combinations are supported here.

Getting started

1. Clone and install strategoutil to your environment

git clone https://github.com/mihsamusev/strategoutil.git
cd strategoutil
pip install -e .

2. Run tests, successful passing of all tests does not depend on having verifyta installed on your machine.

python -m pytest

3. Import to your stratego MPC project and start hacking, see example project

import strategoutil as sutil

Reference