restore app

app.py

@@ -1,9 +1,20 @@
-# app.py
-import time
-print(f"[{time.time()}] app.py: Script execution has STARTED.")
-
 import os
 import subprocess
-import src.ui
-print(f"[{time.time()}] app.py: Imported all.", flush=True)
-# DO NOT add any other imports or code yet.
+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:
+    print(f"❌ MiniZinc command failed. Output: {e.output}")
+except Exception as e:
+    print(f"❌ Error checking MiniZinc: {e}")
+
+if __name__ == "__main__":
+    print("Starting the Gradio app...", flush=True)
+    demo = create_ui()
+    demo.queue().launch()