From 1c2ce661e685aaaa2a358f0b14517cd0f3184975 Mon Sep 17 00:00:00 2001
From: Bourgerie Quentin <bourgerie.quentin@gmail.com>
Date: Fri, 27 Sep 2024 10:32:03 +0200
Subject: [PATCH] fix(frontend-python): Set z3-solver version

---
 frontends/concrete-python/requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/concrete-python/requirements.txt b/frontends/concrete-python/requirements.txt
index 298354dd94..d264dfc337 100644
--- a/frontends/concrete-python/requirements.txt
+++ b/frontends/concrete-python/requirements.txt
@@ -4,4 +4,4 @@ networkx>=2.6
 numpy>=1.23,<2.0
 scipy>=1.10
 torch>=1.13
-z3-solver>=4.12
+z3-solver==4.13.0