diff --git a/pyproject.toml b/pyproject.toml
index 998ed2c6e..488a6c690 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -16,7 +16,7 @@ classifiers = [
 ]
 urls = { Homepage = "https://github.com/angr/claripy" }
 requires-python = ">=3.10"
-dependencies = ["cachetools", "typing-extensions", "z3-solver==4.13.0.0"]
+dependencies = ["cachetools", "typing-extensions", "z3-solver==4.14.0.0"]
 dynamic = ["version"]
 
 [project.readme]