From 0b58e4abb66e1069690fe675f5e9091ce3f6bb99 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 3 Mar 2026 07:13:14 +0000 Subject: [PATCH] chore(deps): bump z3-solver from 4.15.8.0 to 4.16.0.0 Bumps [z3-solver](https://github.com/Z3Prover/z3) from 4.15.8.0 to 4.16.0.0. - [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/compare/z3-4.15.8...z3-4.16.0) --- updated-dependencies: - dependency-name: z3-solver dependency-version: 4.16.0.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index 3d6d217..7db010c 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -11,7 +11,7 @@ requires-python = ">=3.12" keywords = ["str8ts", "str8ts solver", "z3"] dependencies = [ - "z3-solver==4.15.8.0" + "z3-solver==4.16.0.0" ] [dependency-groups]