From e7790b2f2fad48d8374a5fe250f3a89ac67a0ec0 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Wed, 24 May 2023 19:08:49 +0530 Subject: [PATCH] Fix z3 version (#1771) --- requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/requirements.txt b/requirements.txt index c9c80ea0..be244a75 100644 --- a/requirements.txt +++ b/requirements.txt @@ -35,7 +35,7 @@ rlp<3 semantic_version transaction>=2.2.1 typing-extensions<4,>=3.7.4 -z3-solver>=4.8.8.0 +z3-solver<4.12.2.0,>=4.8.8.0 matplotlib pre-commit<2.21.0 certifi>=2020.06.20