Update the version of z3 used in CI to 4.15.1

Author: facundominguez

.circleci/config.yml

@@ -10,8 +10,8 @@ commands:
           name: Install z3
           command: |
             # Config version
-            z3version="z3-4.8.17"
-            z3distributiontype="x64-glibc-2.31"
+            z3version="z3-4.15.1"
+            z3distributiontype="x64-glibc-2.39"
             z3full="${z3version}-${z3distributiontype}"
 
             # Download and install

.github/workflows/cabal.yml

@@ -18,7 +18,7 @@ jobs:
         ghc:
           - "9.12.2"
         z3:
-          - "4.10.2"
+          - "4.15.1"
 
     steps:
       - uses: actions/checkout@v4
@@ -29,6 +29,7 @@ jobs:
         uses: pavpanchekha/setup-z3@6b2d476d7a9227e0d8d2b94f73cd9fcba91b5e98
         with:
           version: ${{ matrix.z3 }}
+          distribution: glibc-2.39
 
       - name: Workaround runner image issue
         # https://github.com/actions/runner-images/issues/7061