minor changes

Dockerfile

@@ -1,7 +1,5 @@
-# Start from a base Python image
 FROM python:3.12-slim
 
-# Install wget and other potential necessities like ca-certificates
 RUN apt-get update && apt-get install -y --no-install-recommends \
     wget \
     ca-certificates \
@@ -10,17 +8,15 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
 # Set the working directory in the container
 WORKDIR /app
 
-# Copy your setup script and application files
 COPY setup.sh .
 COPY requirements.txt .
 COPY app.py .
 COPY src/ ./src/
 
-# Make setup.sh executable and run it
 RUN chmod +x setup.sh && ./setup.sh
 
 # make the files
-RUN mkdir -p /app/temp_hf_downloads && chmod 777 /app/temp_hf_downloads
+RUN mkdir -p /app/local_hf_downloads && chmod 777 /app/local_hf_downloads
 
 # Install Python dependencies
 RUN pip install --no-cache-dir -r requirements.txt
@@ -28,10 +24,8 @@ RUN pip install --no-cache-dir -r requirements.txt
 # Environment variables for MiniZinc
 ENV MZN_DIR=/opt/minizinc
 ENV PATH="${MZN_DIR}/bin:${PATH}"
-# If MiniZinc has shared libraries in MZN_DIR/lib that are needed at runtime:
-ENV LD_LIBRARY_PATH="${MZN_DIR}/lib:${LD_LIBRARY_PATH}"
 
 # Expose the port Gradio runs on (default is 7860)
-EXPOSE 7860
+#EXPOSE 7860
 
 CMD ["python", "app.py"]

app.py

@@ -6,8 +6,6 @@ from src.ui import create_ui
 try:
     version = subprocess.check_output(["minizinc", "--version"], text=True, stderr=subprocess.STDOUT)
     print(f"🧠 MiniZinc version (from Docker env): {version.strip()}")
-    solvers = subprocess.check_output(["minizinc", "--solvers"], text=True, stderr=subprocess.STDOUT)
-    print(f"💡 MiniZinc solvers (from Docker env):\n{solvers.strip()}")
 except FileNotFoundError:
     print("❌ MiniZinc command not found. Check PATH in Dockerfile and setup.sh.")
 except subprocess.CalledProcessError as e:
@@ -19,4 +17,4 @@ if __name__ == "__main__":
     print("Starting the Gradio app...", flush=True)
     demo = create_ui()
     print("Gradio app created successfully.", flush=True)
-    demo.queue().launch()
+    demo.launch()

setup.sh

@@ -22,4 +22,4 @@ rm MiniZincIDE.tgz
 chmod -R +x ${MZN_DIR}/bin || true # Allow to fail if no bin dir yet, though it should exist.
 chmod -R +x ${MZN_DIR}/share/minizinc/solvers || true # Some solvers might be scripts
 
-echo "✅ setup.sh finished installing MiniZinc to ${MZN_DIR}" > setup_log.txt
+echo "✅ setup.sh finished installing MiniZinc to ${MZN_DIR}"

src/hf_utils.py

@@ -62,12 +62,11 @@ def load_leaderboard_data():
                 continue
 
             # Download summary file
-            temp_dir = os.path.join("temp_hf_downloads", dir_name)
             local_summary_path = hf_hub_download(
                 repo_id=DATASET_REPO_ID,
                 filename=f"{DS_RESULTS_PATH}/{dir_name}/summary.txt",
                 repo_type="dataset",
-                local_dir=temp_dir,
+                local_dir=os.path.join("local_hf_downloads", dir_name),
             )
 
             if Path(local_summary_path).exists():
@@ -87,12 +86,7 @@ def load_leaderboard_data():
             
     except Exception as e:
         print(f"Error loading leaderboard data: {e}")
-        
-    finally:
-        # Clean up
-        if Path("temp_hf_downloads").exists():
-            shutil.rmtree("temp_hf_downloads", ignore_errors=True)
-            
+
     if not leaderboard_entries:
         return pd.DataFrame(columns=LDB_COLS)