Stormpy

Requires storm version >= 1.6.0 and pycarl version >= 2.0.4

- Adaptions to changes in Storm: most notably state valuations
- Support for GSPNs: parsing, exploring, building
- Support for matrix building
- Extended expression operators with {conjunction, disjunction}
- Added information collector to extract information from jani models
- Bindings for elimination of chains of non-Markovian states
- Early support for POMDPs
- Early support for simulations on explicit-state models


Version 1.5.x
-------------

Skipped for compatibility with Storm.

Skipped for compatibility with Storm.


Version 1.4.x
-------------

Requires storm version >= 1.4.1 and pycarl version >= 2.0.4
- Adaptions to changes in Storm
- Extended simple accessors such as `parse_properties`, `model_checking`, to handle variety of inputs.
- Added and extended environments
- Changed constructor of `ParameterRegion` to take a valuation instead of string.
Use `ParameterRegion.create_from_string()` to create a region from string.
- Added InstantiationModelChecker for pMDPs and allow instations with rational numbers
- Added transformation of CTMCs to DTMCs
- Further bindings for Prism Programs and their preprocessing
- SettingsManager updated
- Allow building models annotated with valuations
- A custom state exploration that allows to explore successor states of a prism program
- Extended documentation, in particular examples.
- Fix for compilation with Xcode 11

Skipped for compatibility with Storm.


Version 1.3.x
-------------

Requires storm version >= 1.3.0 and pycarl version >= 2.0.3
- Adaptions to changes in Storm
- Bindings for symbolic models:
* building symbolic models
* bisimulation
* transforming symbolic to sparse models
- Extraction of schedulers and queries on schedulers
- High-level counterexamples connected
- Drastically extended JANI bindings
- Extended bindings for expressions
- Extended PLA bindings
- Extended DFT bindings
- Extended documentation
- Improved and extended setup


Version 1.2.x
-------------