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

Storm 1.11.0 comes with a completely restructured CMake build process which allows proper installation of Storm. The new version also adds support for discounted properties in DTMC and MDP, the guessing value iteration algorithm, exporting schedulers for multi-objective properties and improved support for interval models. The stormpy Python bindings are also released in a new version 1.11.1 that comes with a restructured build process. Stormpy can now be simply installed via pip install stormpy without any need installing Storm beforehand.

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. You can obtain the stormpy Python package by simply executing pip install stormpy.

If you experience any bugs, please let us know.