File Limit Request: stormpy - 300 MB

[volkm]

Project URL

https://pypi.org/project/stormpy/

Does this project already exist?

• Yes

New Limit

300

Update issue title

• I have updated the title.

Which indexes

PyPI, TestPyPI

About the project

Stormpy provides Python bindings for the probabilistic model checker Storm. Storm is a tool for the analysis of systems involving random or probabilistic phenomena. Given an input model and a quantitative specification, it can determine whether the input model conforms to the specification. It has been designed with performance and modularity in mind.
The Storm tool is developed for more than 10 years, the stormpy library for more than 8 years.

Reasons for the request

Before, the stormpy package only contained the Python files but required a standalone installation of the Storm library.
In the newest release, we integrate the Storm library into the stormpy wheels such that users can simply install the Python package without the need to install additional C++ libraries. However, this increases the file sizes of the wheels to up to 210MB.
We ask to extend the file size of the wheels to 300MB for both pypi and test.pypi. That way, we can upload the wheels for the latest release (up to 210MB) and have a bit of buffer for future growth.

Code of Conduct

• I agree to follow the PSF Code of Conduct