Move z3_solver to be first dependency

CITCOM-project · Jun 22, 2023 · 5539324 · 5539324
1 parent d6da6a3
commit 5539324
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -15,6 +15,7 @@ requires-python = ">=3.9"
 license = { text = "MIT" }
 keywords = ["causal inference", "verification"]
 dependencies = [
+    "z3_solver~=4.11.2", # z3_solver does not follow semantic versioning and tying to 4.11 introduces problems
     "econml~=0.12",
     "fitter~=1.4",
     "lhsmdu~=1.1",
@@ -24,9 +25,8 @@ dependencies = [
     "scikit_learn~=1.1",
     "scipy~=1.7",
     "statsmodels~=0.13",
-    "tabulate~=0.8",
-    "z3_solver~=4.11.2",
-] # z3_solver does not follow semantic versioning and tying to 4.11 introduces problems
+    "tabulate~=0.8"
+]
 dynamic = ["version"]
 
 [project.optional-dependencies]