dep(z3): pin 4.12.2 in pyproject (#236)

multiple people are reporting disastrous performance with 4.13.0
a16z · May 13, 2024 · 6599f57 · 6599f57
1 parent 25dc299
commit 6599f57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyproject.toml b/pyproject.toml
@@ -22,8 +22,8 @@ classifiers = [
 ]
 requires-python = ">=3.9"
 dependencies = [
-    "z3-solver",
     "sortedcontainers>=2.4.0",
+    "z3-solver==4.12.2.0",
 ]
 dynamic = ["version"]