diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index b68d546d..6989992b 100644
--- a/.github/workflows/makefile.yml
+++ b/.github/workflows/makefile.yml
@@ -20,6 +20,12 @@ jobs:
           ./elan-init -y --default-toolchain none
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
 
+    - name: Get z3 binary v4.11.2
+      run: |
+          curl -OJLsSf https://github.com/Z3Prover/z3/releases/download/z3-4.11.2/z3-4.11.2-x64-glibc-2.31.zip
+	  unzip z3-4.11.2-x64-glibc-2.31.zip && rm z3-4.11.2-x64-glibc-2.31.zip
+          echo "$HOME/z3-4.11.2-x64-glibc-2.31/bin/z3" >> $GITHUB_PATH
+
     - uses: actions/checkout@v3
 
     - name: Build LNSym