dep: unpin z3 version (cont'd) (#276)

a16z · Apr 18, 2024 · abe353d · abe353d
1 parent 81a271d
commit abe353d
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml
@@ -39,7 +39,9 @@ jobs:
           python -m pip install pytest
 
       - name: Install Halmos
-        run: python -m pip install -e .
+        run: |
+          python -m pip install z3-solver==4.12.2.0
+          python -m pip install -e .
 
       - name: Run pytest
         run: pytest -x -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="-v -st --solver-timeout-assertion 0 --solver-threads 2" -s --log-cli-level=
diff --git a/pyproject.toml b/pyproject.toml
@@ -22,7 +22,7 @@ classifiers = [
 ]
 requires-python = ">=3.9"
 dependencies = [
-    "z3-solver==4.12.2.0",
+    "z3-solver",
 ]
 dynamic = ["version"]
 

diff --git a/requirements.txt b/requirements.txt
@@ -1 +1 @@
-z3-solver>=4.13
+z3-solver