Stormpy version 1.9.0 (#183)

CHANGELOG.md

@@ -1,6 +1,23 @@
 Changelog
 =============
 
+Version 1.9.x
+-------------
+
+### Version 1.9.0 (2024/08)
+Requires Storm version >= 1.9.0 and pycarl version >= 2.3.0
+
+- Support for computing steady-state distributions
+- Support for quantitative POMDP analysis
+- Support for interval-based models
+- Extended ADD support
+- Support for all-in-one MDP
+- Bindings for Smg and GameFormula
+- Build parametric models from model components
+- Improved access to state valuations, choice labels and choice origins
+- Adaption to changes in Storm such as DFT simulator
+- Developer: improved build process
+
 
 Version 1.8.x
 -------------

lib/stormpy/_version.py

@@ -1 +1 @@
-__version__ = "1.8.0"
+__version__ = "1.9.0"

setup.py

@@ -13,7 +13,7 @@
  sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.8.2"
+storm_min_version = "1.9.0"
 
 # Get the long description from the README file
 with open(os.path.join(os.path.abspath(os.path.dirname(__file__)), 'README.md'), encoding='utf-8') as f:
@@ -226,8 +226,8 @@ def finalize_options(self):
  ],
  cmdclass={'build_ext': CMakeBuild},
  zip_safe=False,
- install_requires=['pycarl>=2.2.0'],
- setup_requires=['pycarl>=2.2.0', # required to check pybind version used for pycarl
+ install_requires=['pycarl>=2.3.0'],
+ setup_requires=['pycarl>=2.3.0', # required to check pybind version used for pycarl
  'packaging'
  ],
  extras_require={