Updated required Storm and pycarl versions

Author: volkm

.github/workflows/buildtest.yml

@@ -86,8 +86,8 @@ jobs:
     name: Test on stable
     runs-on: ubuntu-latest
     env:
-      RELEASE_IMG: "storm:1.6.4"
-      DEBUG_IMG: "storm:1.6.4-debug"
+      RELEASE_IMG: "storm:stable"
+      DEBUG_IMG: "storm:stable-debug"
     strategy:
       matrix:
         debugOrRelease: ["debug", "release"]

setup.py

@@ -14,7 +14,7 @@
     sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.6.5"
+storm_min_version = "1.7.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:
@@ -274,7 +274,7 @@ def build_extension(self, ext, general_cmake_args, general_build_args):
 
     cmdclass={'build_ext': CMakeBuild},
     zip_safe=False,
-    install_requires=['pycarl>=2.0.5'],
+    install_requires=['pycarl>=2.1.0'],
     setup_requires=['pytest-runner'],
     tests_require=['pytest', 'nbval', 'numpy'],
     extras_require={