fix(frontend-python): Set z3-solver version

BourgerieQuentin · BourgerieQuentin · commit 1c2ce661e685 · 2024-09-27T10:32:03.000+02:00
diff --git 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
