From ae0fd06e471609718939f5ef0f7532df31c92f0f Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Wed, 23 Mar 2022 05:43:20 +0000 Subject: [PATCH] Unrestrict z3 to 4.8.15.0 (#1608) --- requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/requirements.txt b/requirements.txt index 90206f2a..452b8b98 100644 --- a/requirements.txt +++ b/requirements.txt @@ -32,7 +32,7 @@ rlp<3 semantic_version transaction>=2.2.1 typing-extensions<4,>=3.7.4 -z3-solver<4.8.15.0,>=4.8.8.0 +z3-solver>=4.8.8.0 pysha3 matplotlib pre-commit