diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index b7232b2..2331b33 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -22,15 +22,15 @@ jobs:
       - name: Install elan
         run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.5.0
 
+      - name: Install Z3
+        uses: pavpanchekha/setup-z3@v0.3.0
+            
       - name: Get cache
         run: ~/.elan/bin/lake exe cache get || true
 
       - name: Build project
-         run: |
-            ~/.elan/bin/lake build Book
-            pip install smt-portfolio
-
-
+         run: ~/.elan/bin/lake build Book
+            
       - name: Cache mathlib docs
         uses: actions/cache@v3
         with: