remove Java 17 from test matrix

* add a canary to test the availability of SMT solvers

Author: wadoon

.github/workflows/tests.yml

@@ -34,6 +34,13 @@ jobs:
       - name: Setup SMT solvers
         uses: keyproject/setup-smt@v0
 
+      - name: z3 version
+        run: z3 --version
+
+      - name: cvc5 version
+        run: cvc5 --version
+
+
       - name: Set up JDK 21
         uses: actions/setup-java@v4
         with:

.github/workflows/tests_winmac.yml

@@ -14,7 +14,7 @@ jobs:
       fail-fast: false
       matrix:
         os: [macos-latest, ubuntu-latest, windows-latest]
-        java: [17,21]
+        java: [21,23]
     continue-on-error: true
     runs-on: ${{ matrix.os }}
     env:
@@ -25,6 +25,13 @@ jobs:
       - name: Setup SMT solvers
         uses: keyproject/setup-smt@v0
 
+      - name: z3 version
+        run: z3 --version
+
+      - name: cvc5 version
+        run: cvc5 --version
+
+
       - name: Set up JDK ${{matrix.java}}
         uses: actions/setup-java@v4
         with: