Relax z3 version requirement

pschanely · Nov 19, 2024 · 1e22c95 · 1e22c95
1 parent fa1142e
commit 1e22c95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -43,7 +43,7 @@
         "packaging",
         "typing-inspect>=0.7.1",
         "typing_extensions>=3.10.0",
-        "z3-solver==4.13.0.0",
+        "z3-solver>=4.13.0.0",
         "importlib_metadata>=4.0.0",
         "pygls>=1.0.0",  # For the LSP server
         "typeshed-client>=2.0.5",