fix solver install script

Author: agilot

scripts/install_solvers.sh

@@ -48,7 +48,7 @@ rm -rf "$TEMP_DIR"
 mkdir -p "$TEMP_DIR"
 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*")
+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"