Merge pull request #199 from CITCOM-project/requirements_fix

Move z3_solver to be first dependency

Author: christopher-wild

.github/workflows/ci-tests.yaml

@@ -24,7 +24,7 @@ jobs:
         run: |
           conda install -c conda-forge pygraphviz
           python --version
-          pip install -e .
+          pip install -e . --no-cache-dir
           pip install -e .[test]
           pip install pytest pytest-cov
         shell: bash -l {0}

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]