From 57dbd0cfd6f7fdce2b0ab08faab4d5dc203f61cd Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Sat, 17 Feb 2024 13:22:20 +0000 Subject: [PATCH] Update z3 (#1835) --- 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