debug app

Dockerfile

@@ -31,4 +31,5 @@ ENV LD_LIBRARY_PATH="${MZN_DIR}/lib:${LD_LIBRARY_PATH}"
 # Expose the port Gradio runs on (default is 7860)
 EXPOSE 7860
 
-CMD ["python", "app.py"]
+#CMD ["python", "app.py"]
+CMD ["python", "-c", "import os; import time; print(f'[{time.time()}] Python interpreter is ALIVE from CMD in Dockerfile. CWD: {os.getcwd()}. Test print.')"]

app.py

@@ -5,11 +5,8 @@ import subprocess
 try:
     version = subprocess.check_output(["minizinc", "--version"], text=True, stderr=subprocess.STDOUT)
     print(f"🧠 MiniZinc version (from Docker env): {version.strip()}")
-
-    # Optional: Check for solvers to confirm full setup
     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 +16,4 @@ except Exception as e:
 
 if __name__ == "__main__":
     demo = create_ui()
-    demo.queue().launch() # HF Spaces usually uses port 7860 by default
+    demo.queue().launch()