fix solver install script

Author: agilot

scripts/install_solvers.sh

@@ -45,6 +45,7 @@ chmod +x "$SOLVERS_DIR/z3"
 rm -rf "$TEMP_DIR"
 
 # Bitwuzla
+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*")