add bitwuzla in the CI

Author: agilot

.github/workflows/scala-smtlib-CI.yml

@@ -16,6 +16,7 @@ jobs:
       Z3_VER: 4.15.1
       CVC4_VER: 1.8
       CVC5_VER: 1.2.1
+      BITWUZLA_VER: 0.8.2
     steps:
     - name: Checkout
       uses: actions/checkout@v4
@@ -31,11 +32,11 @@ jobs:
         ./scripts/install_sbt.sh
         echo "PATH=./sbt/bin/:$PATH" >> "$GITHUB_ENV"
     - name: Install solvers
-      run: ./scripts/install_solvers.sh $GITHUB_WORKSPACE/.local/bin $Z3_VER $CVC4_VER $CVC5_VER
+      run: ./scripts/install_solvers.sh $GITHUB_WORKSPACE/.local/bin $Z3_VER $CVC4_VER $CVC5_VER $BITWUZLA_VER
     - name: Add solvers to PATH
       run: echo "$GITHUB_WORKSPACE/.local/bin" >> $GITHUB_PATH
     - name: Test solvers availability
-      run: cvc5 --version && z3 --version && cvc4 --version
+      run: cvc5 --version && z3 --version && cvc4 --version && bitwuzla --version
     - name: Run Tests
       run: sbt -Dtest-parallelism=10 -batch test
     - name: Run integration tests

.gitignore

@@ -10,4 +10,5 @@ target
 .bsp
 project/.bloop
 project/metals.sbt
-project/project
+project/project
+.DS_Store

scripts/install_solvers.sh

@@ -44,5 +44,13 @@ mv "$Z3_DIR/bin/z3" "$SOLVERS_DIR/z3"
 chmod +x "$SOLVERS_DIR/z3"
 rm -rf "$TEMP_DIR"
 
+# Bitwuzla
+wget -c https://github.com/bitwuzla/bitwuzla/releases/download/${BITWUZLA_VER}/Bitwuzla-Linux-arm64-static.zip -O "$TEMP_DIR/bitwuzla.zip" -q
+unzip "$TEMP_DIR/bitwuzla.zip" -d "$TEMP_DIR" 
+BITWUZLA_DIR=$(find "$TEMP_DIR" -mindepth 1 -maxdepth 1 -type d -name "*bitwuzla*")
+mv "$BITWUZLA_DIR/bin/bitwuzla" "$SOLVERS_DIR/bitwuzla"
+chmod +x "$SOLVERS_DIR/bitwuzla"
+rm -rf "$TEMP_DIR"
+
 echo "************** Solvers Installed **************"
 exit 0