We are happy to announce the next stable releases of Storm and stormpy in version 1.6.0.
The new release of Storm uses Sylvan as the default Dd library and features a new export of schedulers in a
In addition, the support for POMDPs in
storm-pomdp was improved and extended significantly.
The Python bindings stormpy are also released in a new version which is compatible with the new Storm release. Stormpy now supports GSPNs, in particular building, parsing and exploring them. In addition, the new release offers bindings for building the transition matrix and state valuations.
You can get the new release of Storm via your preferred installation option:
- building from source,
- via update with Homebrew on macOS:
$ brew update $ brew upgrade stormchecker
- or by using a Docker container.
If you experience any bugs, please let us know.