From fa02b2291d867042127e22ae3dbfbcb147cf638b Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Sat, 17 Feb 2024 13:03:35 +0000 Subject: [PATCH] Update z3 --- requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/requirements.txt b/requirements.txt index 90f4339f..4cfa7bce 100644 --- 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