diff --git a/requirements.txt b/requirements.txt
index 9b7e8d2b7..f29618052 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -2,5 +2,5 @@ PySMT==0.9.6
 asdl-adt==0.1.0
 asdl==0.1.5
 build==1.2.2
-z3-solver==4.13.0.0
+z3-solver==4.13.1.0
 yapf==0.40.2