Try Z3 4.8.8

Author: RyanGlScott

.github/ci.sh

@@ -169,8 +169,8 @@ build_yices() {
   cleanup_bins
 }
 
-build_z3-4.8.10() {
-  build_z3 "4.8.10"
+build_z3-4.8.8() {
+  build_z3 "4.8.8"
 }
 
 build_z3-4.8.14() {

.github/workflows/ci.yml

@@ -17,7 +17,7 @@ jobs:
       fail-fast: false
       matrix:
         os: [ubuntu-22.04, ubuntu-20.04, macos-12, windows-2019]
-        solver: [abc, boolector, cvc4, cvc5, yices, z3-4.8.10, z3-4.8.14]
+        solver: [abc, boolector, cvc4, cvc5, yices, z3-4.8.8, z3-4.8.14]
     steps:
       - uses: actions/checkout@v2
         with:
@@ -123,7 +123,7 @@ jobs:
 
       - uses: actions/download-artifact@v2
         with:
-          name: "${{ matrix.os }}-z3-4.8.10-bin"
+          name: "${{ matrix.os }}-z3-4.8.8-bin"
           path: bin
 
       - uses: actions/download-artifact@v2

.gitmodules

@@ -16,8 +16,8 @@
 [submodule "repos/yices2"]
 	path = repos/yices2
 	url = https://github.com/SRI-CSL/yices2
-[submodule "repos/z3-4.8.10"]
-	path = repos/z3-4.8.10
+[submodule "repos/z3-4.8.8"]
+	path = repos/z3-4.8.8
 	url = https://github.com/Z3Prover/z3
 [submodule "repos/z3-4.8.14"]
 	path = repos/z3-4.8.14

README.md

@@ -14,7 +14,7 @@ Currently, `what4-solvers` offers the following solver versions:
 * CVC4 - [1.8](https://github.com/CVC4/CVC4-archived/tree/5247901077efbc7b9016ba35fded7a6ab459a379)
 * CVC5 - [1.0.2](https://github.com/cvc5/cvc5/tree/ef35c1131976e5a3d981dace510d90aed2d11cef)
 * Yices - [2.6.2](https://github.com/SRI-CSL/yices2/tree/8509cfb5c294df3c0ac3a4814483f39c58879606)
-* Z3 - [4.8.10](https://github.com/Z3Prover/z3/tree/517d907567f4283ad8b48ff9c2a3f6dce838569e) and
+* Z3 - [4.8.8](https://github.com/Z3Prover/z3/tree/ad55a1f1c617a7f0c3dd735c0780fc758424c7f1) and
        [4.8.14](https://github.com/Z3Prover/z3/tree/df8f9d7dcb8b9f9b3de1072017b7c2b7f63f0af8)
 
 Built for the following operating systems: