Skip to main content

A package for importing UPPAAL Stratego strategies as Python objects

Project description

Stratetrees --- UPPAAL Stratego strategies for Python

This package allows you to take your exported UPPAAL Stratego strategies (json) and use them in a Python setting. The intended use case is to evaluate the UPPAAL Stratego trained strategy on Gymnasium environments (see example). This package provides an API that should be directly aligned with that of stable-baselines3.

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

stratetrees-0.0.1.tar.gz (4.7 MB view details)

Uploaded Source

Built Distribution

stratetrees-0.0.1-py3-none-any.whl (8.8 kB view details)

Uploaded Python 3

File details

Details for the file stratetrees-0.0.1.tar.gz.

File metadata

  • Download URL: stratetrees-0.0.1.tar.gz
  • Upload date:
  • Size: 4.7 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.10.6

File hashes

Hashes for stratetrees-0.0.1.tar.gz
Algorithm Hash digest
SHA256 3f97a18898345e220e9f0f77f814885c63faf5f3e6bc46abb939417bb077980e
MD5 84c9cef4f7478327dc05a8caded1c921
BLAKE2b-256 0b3aba3f5aaa574c1cee87b54c683c165858dbdbe1c5f84886ced81de2b09eac

See more details on using hashes here.

File details

Details for the file stratetrees-0.0.1-py3-none-any.whl.

File metadata

  • Download URL: stratetrees-0.0.1-py3-none-any.whl
  • Upload date:
  • Size: 8.8 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.10.6

File hashes

Hashes for stratetrees-0.0.1-py3-none-any.whl
Algorithm Hash digest
SHA256 9d09d24349164ba0bf0570f82a61b1e9a917a3739436d5117468e4bc082c772e
MD5 b93a685084648c1fe82347d035d1f8e1
BLAKE2b-256 abc3a748e719d7ca38fe9e599ed9af54836d9974f927e13a0a3b454487f6f57e

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page