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

.github/workflows/test-external.yml

@@ -61,9 +61,7 @@ jobs:
           python-version: "3.11"
 
       - name: Install dependencies
-        run: |
-          python -m pip install --upgrade pip
-          python -m pip install -r ./halmos/requirements.txt
+        run: python -m pip install --upgrade pip
 
       - name: Install Halmos
         run: python -m pip install -e ./halmos

.github/workflows/test-ffi.yml

@@ -33,7 +33,6 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           python -m pip install pytest
-          python -m pip install -r requirements.txt
 
       - name: Install Halmos
         run: python -m pip install -e .

.github/workflows/test-long.yml

@@ -37,7 +37,6 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           python -m pip install pytest
-          python -m pip install -r requirements.txt
 
       - name: Install Halmos
         run: python -m pip install -e .

.github/workflows/test.yml

@@ -35,7 +35,6 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           python -m pip install pytest
-          python -m pip install -r requirements.txt
 
       - name: Install Halmos
         run: python -m pip install -e .

pyproject.toml

@@ -22,7 +22,7 @@ classifiers = [
 ]
 requires-python = ">=3.9"
 dependencies = [
-    "z3-solver",
+    "z3-solver==4.12.2.0",
 ]
 dynamic = ["version"]