From 4b72123506005606cb2cb60bf29cbc2be4c2c0fb Mon Sep 17 00:00:00 2001
From: Kaiyu Yang <kaiyuy@caltech.edu>
Date: Tue, 28 May 2024 11:03:47 -0500
Subject: [PATCH] update ci

---
 .github/workflows/blueprint.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index 6f9ccb5..508d6af 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -31,6 +31,21 @@ jobs:
           make -j$(nproc)
           sudo make install
             
+      - name: Install CVC5
+        run: |
+          git clone https://github.com/cvc5/cvc5
+          cd cvc5
+          ./configure.sh
+          cd build
+          make -j$(nproc)
+          sudo make install
+
+      - name: Install Python and the smt-portfolio library
+        run: |
+          sudo apt-get update
+          sudo apt-get install python3 python3-pip
+          pip3 install smt-portfolio
+
       - name: Get cache
         run: ~/.elan/bin/lake exe cache get || true