archful = true
archive_name = "stormpy-1.11.3.tar.gz"
automode = true
extras = [
    "dev",
    "doc",
    "numpy",
    "plot",
    "test",
]
license_files_present = false
name = "stormpy"
python_name = "python-stormpy"
source = "PyPI"
summary = "stormpy - Python Bindings for Storm"
url = "https://github.com/moves-rwth/stormpy"
version = "1.11.3"