Metadata-Version: 2.1
Name: strategoutil
Version: 0.0.2
Summary: Python utility functions library for UPPAAL Stratego
Home-page: UNKNOWN
Author: Mihhail Samusev, Martijn Goorden
Author-email: msam@build.aau.dk
License: MIT
Project-URL: Source, https://github.com/mihsamusev/strategoutil
Project-URL: Tracker, https://github.com/mihsamusev/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: doc/LICENSE

# strategoutil
Utility functions to interface UPPAAL Stratego with python

## Repo status
![GitHub code size in bytes](https://img.shields.io/github/languages/code-size/mihsamusev/strategoutil)
[![badge](https://github.com/mihsamusev/strategoutil/workflows/build/badge.svg)](https://github.com/mihsamusev/strategoutil/actions)

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

## Getting started
 1) Clone and install `strategoutil` to your environment

```sh
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.
```sh
python -m pytest
```

3) Import to your stratego MPC project and start hacking, see [example project](https://github.com/mihsamusev/stratego_mpc_example)
```python
import strategoutil as sutil
```

## Reference





