From 1e22c95c632cb712130d887314736c43a316dc3b Mon Sep 17 00:00:00 2001
From: Phillip Schanely <pschanely@gmail.com>
Date: Tue, 19 Nov 2024 00:13:03 -0500
Subject: [PATCH] Relax z3 version requirement

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 6ab7f3cf..3b3d4a58 100644
--- 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",