diff --git a/pyproject.toml b/pyproject.toml
index 3d6d217..7db010c 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -11,7 +11,7 @@ requires-python = ">=3.12"
 keywords = ["str8ts", "str8ts solver", "z3"]
 
 dependencies = [
-    "z3-solver==4.15.8.0"
+    "z3-solver==4.16.0.0"
 ]
 
 [dependency-groups]