Prevent non-terminating Z3 processes

Ref. eng/recordflux/RecordFlux#1493
AdaCore · Dec 5, 2023 · db1bfc6 · db1bfc6
1 parent e1a5af1
commit db1bfc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -93,7 +93,7 @@ def run(self) -> None:
         "pydotplus >=2, <3",
         "pygls >=1.1, <2",
         "ruamel.yaml >=0.17, <0.18",
-        "z3-solver >=4, <5",
+        "z3-solver >=4, <4.12.3",
     ],
     extras_require={
         "devel": [