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

Storm 1.14.0 adds (among others) support for the HiGHS MILP solver, reorganizes many settings into environments and options, and revised the state and observation valuations, so that Storm is fully UMB-compliant. We refer to the release notes of Storm for a complete list of all changes.

The stormpy Python bindings are also released in a new version 1.14.0 that replaces the carl-parser with a new Lark-based parser (installable via pip install stormpy[parser]) and extends support for BitVector operations. We refer to the release notes of stormpy for all details.

You can get the new release of Storm either by building from source, via the pre-built binaries from Homebrew, via the pre-built Debian packages attached to the release 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.