bumped the required Storm version

moves-rwth · Sep 26, 2024 · 9285a08 · 9285a08
1 parent 5e427b5
commit 9285a08
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -13,7 +13,7 @@
     sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.9.0"
+storm_min_version = "1.9.1"
 
 # 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: