We are happy to announce the next releases of Storm and stormpy in version 1.10.0.

Storm 1.10.0 features various improvements in steady-state computations, MEC decomposition, LP solvers and expression parsing. The stormpy Python bindings are also released in a new version 1.10.0 which comes with an integration of the pycarl library and support for building Prism SMGs and interval POMDPs.

For detailed information on all the changes, please check the release notes of Storm and the release notes of stormpy.

You can get the new release of Storm either by building from source, via Homebrew or by using a Docker container. The Docker images now natively support both Intel and ARM architectures.

If you experience any bugs, please let us know.