diff --git a/.github/workflows/stack-test.yml b/.github/workflows/stack-test.yml
index fae39e5..389cfac 100644
--- a/.github/workflows/stack-test.yml
+++ b/.github/workflows/stack-test.yml
@@ -20,10 +20,14 @@ jobs:
         enable-stack: true
         stack-version: 'latest'
 
-    - name: Install dependencies
+    - name: Install Bitwuzla
       run: |
-        sudo apt-get update
-        sudo apt-get install -y z3
+        BITWUZLA_VERSION="0.9.1"
+        curl -sL "https://github.com/bitwuzla/bitwuzla/releases/download/${BITWUZLA_VERSION}/Bitwuzla-Linux-x86_64-static.zip" -o /tmp/bitwuzla.zip
+        unzip -q /tmp/bitwuzla.zip -d /tmp
+        sudo install -m 755 /tmp/Bitwuzla-Linux-x86_64-static/bin/bitwuzla /usr/local/bin/bitwuzla
+        rm -rf /tmp/Bitwuzla-Linux-x86_64-static /tmp/bitwuzla.zip
+        bitwuzla --version
 
     - name: Cache Stack
       uses: actions/cache@v4
diff --git a/stack.yaml.lock b/stack.yaml.lock
index 4179422..78ec65a 100644
--- a/stack.yaml.lock
+++ b/stack.yaml.lock
@@ -44,8 +44,8 @@ packages:
     pantry-tree:
       sha256: db092592a9914ed1ee72d5916ae4f063667170c0b30a5dc9fd36412582682947
       size: 2709
-    sha256: 1f8b20c1d38659692f2f9320f75b635483ea1750e560b87c89084cc034b8fb58
-    size: 81865
+    sha256: 9d41677c16f8dffe9a3d31e4fff00bf53a5d63b88fba5e9a93322031349ea459
+    size: 81872
     url: https://github.com/PLSec-VU/pantomime/archive/491638b742ce2d9fc92976ab0e2037ba259e5ae9.tar.gz
     version: 0.1.0.0
   original:
@@ -55,8 +55,8 @@ packages:
     pantry-tree:
       sha256: 6729f953ad15ea5d00e2c3142142682f064c30c14e84771967407b8b638e89ad
       size: 530
-    sha256: a81aeb4ae7e5a7a023bc3507022dc8b90323e293abbd0bdc235354e67fb29b61
-    size: 16973
+    sha256: 98053f17fdd3476737d139beda0e0e3946772e41368f400658151c51fdb6c1e8
+    size: 16975
     url: https://github.com/PLSec-VU/pantomime-base/archive/64dab2d4fd3ef4c27ec9eb698bf61092fb08d8a4.tar.gz
     version: 0.1.0.0
   original:
@@ -66,8 +66,8 @@ packages:
     pantry-tree:
       sha256: 978493e7943f08ff0a4b27b0794f0fa392f1dee60c3a746d1970c3b0731121b9
       size: 611
-    sha256: 73921a56dd8feed1b075b20986ada7ae32041dcabd33418bc63b48f45c6b17bc
-    size: 19409
+    sha256: 012c081c9df84a8725e1e814c16b12bb04e3cd4149de96011efab65f3e835f9b
+    size: 19408
     url: https://github.com/PLSec-VU/pantomime-clash/archive/1f42057f228cd5e476af4b35541598843a7b74f9.tar.gz
     version: 0.1.0.0
   original: