Metadata-Version: 2.1
Name: stratetrees
Version: 0.0.1
Summary: A package for importing UPPAAL Stratego strategies as Python objects
Project-URL: Homepage, https://github.com/andreashhpetersen/stratetrees
Project-URL: Bug Tracker, https://github.com/andreashhpetersen/stratetrees/issues
Author-email: Andreas Holck Høeg-Petersen <ahhp@cs.aau.dk>
License-File: LICENSE
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.7
Requires-Dist: numpy
Requires-Dist: pydot
Description-Content-Type: text/markdown

# 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][1] environments (see
example). This package provides an API that should be directly aligned with that
of [stable-baselines3][2].

[1]: https://github.com/Farama-Foundation/Gymnasium
[2]: https://github.com/DLR-RM/stable-baselines3
