Python utility functions library for UPPAAL Stratego
Project description
strategoutil
Utility functions to interface UPPAAL Stratego with python
Repo status
See which OS and Python versions combinations are supported here.
Getting started
- Clone and install
strategoutil
to your environment
git clone https://github.com/mihsamusev/strategoutil.git
cd strategoutil
pip install -e .
- Run tests, successful passing of all tests does not depend on having
verifyta
installed on your machine.
python -m pytest
- Import to your stratego MPC project and start hacking, see example project
import strategoutil as sutil
Reference
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
strategoutil-0.0.1.tar.gz
(7.3 kB
view hashes)
Built Distribution
Close
Hashes for strategoutil-0.0.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5d8e0d3ad0146da6dc6a930964142a47f3f0dff946a9449bb7899d7b1ae8c4cf |
|
MD5 | 0201ae7b75a51c5ad0b045fc2a8d6c1b |
|
BLAKE2b-256 | ed7a1391e3d53cd0f3f4bbdd50468766ab817eb3e161fe5e5bf73b43a7775745 |