From 48ccc8def8cc388cc6db562530644dcd789124ae Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 14 Oct 2024 04:47:05 +0000 Subject: [PATCH] Update z3-solver requirement --- updated-dependencies: - dependency-name: z3-solver dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/requirements.txt b/requirements.txt index f1ece8ea..868448fe 100644 --- a/requirements.txt +++ b/requirements.txt @@ -22,6 +22,6 @@ pyparsing>=2.0.2,<4 requests rlp>=3,<5 semantic_version -z3-solver<=4.13.0.0,>=4.8.8.0 +z3-solver>=4.8.8.0,<=4.13.3.0 matplotlib certifi>=2020.06.20