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