Factual package intelligence from PyPI
A research tool that can simulate, verify or modify UPPAAL models with python. It can also help to analyze counter-examples in .xml format
pip install pyuppaal
PyPI declares 0 unique dependency rules for this release. Environment markers are shown when supplied by the project.
This release declares no required runtime dependencies in its PyPI metadata.
pyuppaal publishes 1 wheel and 1 source archive for version 1.2.0. Wheel platform tags: any.
No version-specific Python classifiers are declared.
PyPI lists 9 releases with files. The first dated release is ; 4 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .