diff --git a/requirements.txt b/requirements.txt
index bce82f7..736a916 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -1,4 +1,4 @@
-z3-solver==4.13.3.0
+z3-solver==4.13.4.0
 setuptools
 rich
 pydantic