Stormpy version 1.6.4

moves-rwth · Jan 26, 2022 · 2c9dca4 · 2c9dca4
1 parent e831d2f
commit 2c9dca4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py
@@ -1 +1 @@
-__version__ = "1.6.3"
+__version__ = "1.6.4"
diff --git a/setup.py b/setup.py
@@ -273,7 +273,7 @@ def build_extension(self, ext, general_cmake_args, general_build_args):
 
     cmdclass={'build_ext': CMakeBuild},
     zip_safe=False,
-    install_requires=['pycarl>=2.0.4'],
+    install_requires=['pycarl>=2.0.5'],
     setup_requires=['pytest-runner'],
     tests_require=['pytest', 'nbval', 'numpy'],
     extras_require={