diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4ce2b1ef8..f17ffde4a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -27,6 +27,13 @@ jobs:
           fetch-depth: 0
       # set up MSVC development environment
       - uses: ilammy/msvc-dev-cmd@v1
+      # Setup Z3
+      - name: Setup Z3
+        uses: cda-tum/setup-z3@v1
+        with:
+          version: "4.13.0"
+        env:
+          GITHUB_TOKEN: ${{ github.token }}
       # set up ccache for faster C++ builds
       - name: Setup ccache
         uses: Chocobo1/setup-ccache-action@v1