From daa243e440a178667beb75f9eb7f3c83d292bed3 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 23 Jul 2026 02:05:11 +0000 Subject: [PATCH] deps(python)(deps-dev): update z3-solver requirement in /python Updates the requirements on [z3-solver](https://github.com/Z3Prover/z3) to permit the latest version. - [Release notes](https://github.com/Z3Prover/z3/releases) - [Changelog](https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md) - [Commits](https://github.com/Z3Prover/z3/commits/z3-5.0.0) --- updated-dependencies: - dependency-name: z3-solver dependency-version: 5.0.0.0 dependency-type: direct:development ... Signed-off-by: dependabot[bot] --- python/pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/pyproject.toml b/python/pyproject.toml index e2ee3a97..4802af63 100644 --- a/python/pyproject.toml +++ b/python/pyproject.toml @@ -50,7 +50,7 @@ dev = [ "wheel==0.47.0", "PyYAML>=6.0,<7", "cedarpy>=4.0,<6", - "z3-solver>=4.16,<5", + "z3-solver>=4.16,<6", "biscuit-python==0.4.0", "spiffe>=0.2,<0.4", # spiffe's ASN.1 dependency must stay above the three network-DoS fixes in