Metadata-Version: 2.1
Name: strategoutil
Version: 0.1.0
Summary: Python utility functions library for UPPAAL Stratego
Author: Mihhail Samusev, Martijn Goorden
Author-email: msam@build.aau.dk, magoorden@cs.aau.dk
License: MIT
Project-URL: Source, https://github.com/DEIS-Tools/strategoutil
Project-URL: Tracker, https://github.com/DEIS-Tools/strategoutil/issues
Keywords: uppaal,stratego,MPC
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.6
Description-Content-Type: text/markdown
Provides-Extra: test
License-File: docs/LICENSE

# strategoutil
Collection of utility functions and classes to interface [UPPAAL Stratego](https://uppaal.org/features/#uppaal-stratego) controllers with Python.

## Repo status
[![Project Status: Active – The project has reached a stable, usable state and is being actively developed.](https://www.repostatus.org/badges/latest/active.svg)](https://www.repostatus.org/#active)
[![badge](https://github.com/DEIS-Tools/strategoutil/workflows/build/badge.svg)](https://github.com/DEIS-Tools/strategoutil/actions)
[![Documentation Status](https://readthedocs.org/projects/strategoutil/badge/?version=latest)](https://strategoutil.readthedocs.io/en/latest/?badge=latest)

See which OS and Python versions combinations are supported [here](https://github.com/DEIS-Tools/strategoutil/actions).

## Getting started
 1) Use pip or clone this git repo to install `strategoutil` to your environment

```sh
pip install strategoutil
# OR
git clone https://github.com/DEIS-Tools/strategoutil.git
cd strategoutil
pip install -e .
```

2) Look how `strategoutil` is used with [example projects](https://github.com/mihsamusev/stratego_mpc_example)

3) Look at the [documentation](https://strategoutil.readthedocs.io/en/latest/)
## Functionality
- Write input variables to Stratego model `*.xml` files
- Parse outputs of `simulate` queries to get timeseries of important variables
- Run `verifyta` with chosen query `*.q` and run parameters
- Create model predictive control (MPC) routines where plant is either defined within the same Stratego model, or plant is defined as external process, simulataor, etc.









