From beff3b7269cc34f768f845b533de3ef5effceb61 Mon Sep 17 00:00:00 2001 From: Thomas Paviot Date: Tue, 17 Dec 2024 04:57:43 +0100 Subject: [PATCH] Bump z3-solver version to 4.13.4.0 --- requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/requirements.txt b/requirements.txt index bce82f74..736a9165 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,4 +1,4 @@ -z3-solver==4.13.3.0 +z3-solver==4.13.4.0 setuptools rich pydantic