diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 4fd7396..a543463 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -155,7 +155,6 @@ jobs:
 
   rewrite-condition:
     name: Test E-Graph Rewrite Condition Synthesizer
-    if: false # TODO: re-enable
     runs-on: ubuntu-24.04
     timeout-minutes: 5
     strategy:
@@ -167,6 +166,10 @@ jobs:
       - name: Update Rust to ${{ matrix.toolchain }}
         run: rustup update ${{ matrix.toolchain }} && rustup default ${{ matrix.toolchain }}
       - uses: actions/checkout@v4
+      - name: Set Up Bitwuzla
+        uses: ./.github/workflows/setup-bitwuzla
+        with:
+          version: ${{ env.BITWUZLA_VERSION }}
       - name: Build
         run: cargo build --verbose --release -p patronus-egraphs-cond-synth
       - name: synthesize commute-add condition