update docker config

Dockerfile

@@ -1,6 +1,12 @@
 # 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 \
+    && rm -rf /var/lib/apt/lists/*
+
 # Set the working directory in the container
 WORKDIR /app
 
@@ -11,15 +17,12 @@ COPY app.py .
 COPY src/ ./src/
 
 # Make setup.sh executable and run it
-# This is where MiniZinc will be installed
 RUN chmod +x setup.sh && ./setup.sh
 
 # Install Python dependencies
 RUN pip install --no-cache-dir -r requirements.txt
 
-# The MiniZinc installation in setup.sh exports PATH,
-# but that only applies to the RUN layer.
-# We need to ensure the PATH is set for the runtime environment of the app.
+# 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: