diff --git a/.github/workflows/coverage.yaml b/.github/workflows/coverage.yaml
index c594bc5eb5a..0629fa7eabb 100644
--- a/.github/workflows/coverage.yaml
+++ b/.github/workflows/coverage.yaml
@@ -5,7 +5,7 @@ on:
   pull_request:
     branches: [ develop ]
 env:
-  cvc5-version: "1.0.0"
+  cvc5-version: "1.1.2"
   linux-vcpus: 4
   windows-vcpus: 4
 
@@ -36,9 +36,8 @@ jobs:
         run: z3 --version
       - name: Download cvc-5 from the releases page and make sure it can be deployed
         run: |
-          wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux-shared.zip
+          unzip -j -d /usr/local/bin cvc5-Linux-shared.zip cvc5-Linux-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4
diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
index 9432cf705b7..4d6059ac9ab 100644
--- a/.github/workflows/pull-request-checks.yaml
+++ b/.github/workflows/pull-request-checks.yaml
@@ -5,7 +5,7 @@ on:
   pull_request:
     branches: [ develop ]
 env:
-  cvc5-version: "1.0.0"
+  cvc5-version: "1.1.2"
   linux-vcpus: 4
   windows-vcpus: 4
 
@@ -29,9 +29,8 @@ jobs:
         run: z3 --version
       - name: Download cvc-5 from the releases page and make sure it can be deployed
         run: |
-          wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux-shared.zip
+          unzip -j -d /usr/local/bin cvc5-Linux-shared.zip cvc5-Linux-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4
@@ -115,9 +114,8 @@ jobs:
         run: z3 --version
       - name: Download cvc-5 from the releases page and make sure it can be deployed
         run: |
-          wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux-shared.zip
+          unzip -j -d /usr/local/bin cvc5-Linux-shared.zip cvc5-Linux-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4
@@ -225,9 +223,8 @@ jobs:
         run: z3 --version
       - name: Download cvc-5 from the releases page and make sure it can be deployed
         run: |
-          wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux-shared.zip
+          unzip -j -d /usr/local/bin cvc5-Linux-shared.zip cvc5-Linux-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4
@@ -297,9 +294,8 @@ jobs:
         run: z3 --version
       - name: Download cvc-5 from the releases page and make sure it can be deployed
         run: |
-          wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux-shared.zip
+          unzip -j -d /usr/local/bin cvc5-Linux-shared.zip cvc5-Linux-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4
@@ -363,9 +359,8 @@ jobs:
         run: z3 --version
       - name: Download cvc-5 from the releases page and make sure it can be deployed
         run: |
-          wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux-shared.zip
+          unzip -j -d /usr/local/bin cvc5-Linux-shared.zip cvc5-Linux-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4
@@ -423,9 +418,8 @@ jobs:
         run: z3 --version
       - name: Download cvc-5 from the releases page and make sure it can be deployed
         run: |
-          wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux-shared.zip
+          unzip -j -d /usr/local/bin cvc5-Linux-shared.zip cvc5-Linux-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4
@@ -470,9 +464,8 @@ jobs:
         run: z3 --version
       - name: Download cvc-5 from the releases page and make sure it can be deployed
         run: |
-          wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux-shared.zip
+          unzip -j -d /usr/local/bin cvc5-Linux-shared.zip cvc5-Linux-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4
@@ -600,9 +593,8 @@ jobs:
         run: z3 --version
       - name: Download cvc5 binary and make sure it can be deployed
         run: |
-          curl -L https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-macOS --output cvc5
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-macOS-shared.zip
+          unzip -j -d /usr/local/bin cvc5-macOS-shared.zip cvc5-macOS-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4
@@ -652,9 +644,8 @@ jobs:
         run: z3 --version
       - name: Download cvc5 binary and make sure it can be deployed
         run: |
-          curl -L https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-macOS --output cvc5
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-macOS-shared.zip
+          unzip -j -d /usr/local/bin cvc5-macOS-shared.zip cvc5-macOS-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4
@@ -708,7 +699,9 @@ jobs:
           Expand-Archive -LiteralPath '.\z3.Zip' -DestinationPath C:\tools
           echo "c:\tools\z3-4.8.10-x64-win\bin;" >> $env:GITHUB_PATH
           New-Item -ItemType directory "C:\tools\cvc5"
-          Invoke-WebRequest -Uri https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Win64.exe -OutFile c:\tools\cvc5\cvc5.exe
+          Invoke-WebRequest -Uri https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Win64-shared.zip -OutFile .\cvc5-Win64-shared.zip
+          Expand-Archive -LiteralPath '.\cvc5-Win64-shared.Zip'
+          Move-Item -Path .\cvc5-Win64-shared\bin\cvc5.exe c:\tools\cvc5\cvc5.exe
           echo "c:\tools\cvc5;" >> $env:GITHUB_PATH
       - name: Confirm z3 solver is available and log the version installed
         run: z3 --version
@@ -769,7 +762,9 @@ jobs:
           Expand-Archive -LiteralPath '.\z3.Zip' -DestinationPath C:\tools
           echo "c:\tools\z3-4.8.10-x64-win\bin;" >> $env:GITHUB_PATH
           New-Item -ItemType directory "C:\tools\cvc5"
-          wget.exe -O c:\tools\cvc5\cvc5.exe https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Win64.exe
+          Invoke-WebRequest -Uri https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Win64-shared.zip -OutFile .\cvc5-Win64-shared.zip
+          Expand-Archive -LiteralPath '.\cvc5-Win64-shared.Zip'
+          Move-Item -Path .\cvc5-Win64-shared\bin\cvc5.exe c:\tools\cvc5\cvc5.exe
           echo "c:\tools\cvc5;" >> $env:GITHUB_PATH
           New-Item -ItemType directory "C:\tools\parallel"
           wget.exe -O c:\tools\parallel\parallel https://git.savannah.gnu.org/cgit/parallel.git/plain/src/parallel
diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml
index d2f98a07485..1ccd9c65801 100644
--- a/.github/workflows/release-packages.yaml
+++ b/.github/workflows/release-packages.yaml
@@ -2,7 +2,7 @@ on:
   release:
     types: [created]
 env:
-  cvc5-version: "1.0.0"
+  cvc5-version: "1.1.2"
 
 name: Upload additional release assets
 jobs:
@@ -22,9 +22,8 @@ jobs:
         run: z3 --version
       - name: Download cvc-5 from the releases page and make sure it can be deployed
         run: |
-          wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux-shared.zip
+          unzip -j -d /usr/local/bin cvc5-Linux-shared.zip cvc5-Linux-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4
@@ -93,9 +92,8 @@ jobs:
         run: z3 --version
       - name: Download cvc-5 from the releases page and make sure it can be deployed
         run: |
-          wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux
-          chmod u+x cvc5
-          mv cvc5 /usr/local/bin
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Linux-shared.zip
+          unzip -j -d /usr/local/bin cvc5-Linux-shared.zip cvc5-Linux-shared/bin/cvc5
           cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v4