Published June 11, 2023
| Version 1.8.0
Software
Open
moves-rwth/stormpy: v1.8.0
Authors/Creators
- 1. University of Twente, previously @moves-rwth
- 2. Radboud University
- 3. @moves-rwth
Description
Requires Storm version >= 1.8.0 and pycarl version >= 2.2.0
- Scheduler extraction for exact models
- Adaption to changes in Storm such as the removal of JIT compilation and changes in
storm-pomdp - Added bindings for DFT modules
- Developer: improved build process
- Developer: updated pybind version to 2.10.0. Check compatibility to pybind version of pycarl
Files
moves-rwth/stormpy-1.8.0.zip
Files
(556.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:6d142a52ab203baca921a12850279621
|
556.2 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/moves-rwth/stormpy/tree/1.8.0 (URL)