Update z3

9 months ago · fa02b2291d
parent 016bc733f6
commit fa02b2291d
1 changed files with 1 additions and 1 deletions
--- a/requirements.txt
+++ b/requirements.txt
@ -33,7 +33,7 @@ rlp<4,>=3
 semantic_version
 scikit-learn
 transaction>=2.2.1
-z3-solver<4.12.2.0,>=4.8.8.0
+z3-solver<=4.12.5.0,>=4.8.8.0
 matplotlib
 pre-commit<2.21.0
 certifi>=2020.06.20