diff --git a/pyproject.toml b/pyproject.toml
index b9b90162..ce7c20fd 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -33,7 +33,7 @@ dependencies = [
     'seaborn==0.13.2',
     'sympy==1.14.0',
     'threadpoolctl==3.6.0',
-    'z3-solver==5.0.0.0',
+    'z3-solver==5.1.0.0',
 ]
 
 [project.urls]
diff --git a/requirements.txt b/requirements.txt
index dcfdd1d3..a5c6e866 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -13,4 +13,4 @@ scikit-learn==1.9.0
 seaborn==0.13.2
 sympy==1.14.0
 threadpoolctl==3.6.0
-z3-solver==5.0.0.0
+z3-solver==5.1.0.0