Update z3-solver requirement

--- updated-dependencies: - dependency-name: z3-solver dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]>
Consensys · Oct 14, 2024 · 48ccc8d · 48ccc8d
1 parent 8201bfd
commit 48ccc8d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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