attemp to install mnz from app.py

app.py

@@ -1,21 +1,47 @@
+from src.ui import create_ui
+
 import os
 import subprocess
+import urllib.request
+import tarfile
 
-from src.ui import create_ui
-from src.utils import setup_directories
+def install_minizinc():
+    install_path = "/home/user/minizinc"
+    if os.path.exists(os.path.join(install_path, "bin", "minizinc")):
+        print("✅ MiniZinc already installed.")
+        return
+
+    print("⬇️ Downloading MiniZinc...")
+    url = "https://github.com/MiniZinc/MiniZincIDE/releases/download/2.9.0/MiniZincIDE-2.9.0-bundle-linux-x86_64.tgz"
+    bundle_path = "/tmp/minizinc.tgz"
+
+    urllib.request.urlretrieve(url, bundle_path)
 
-# Add MiniZinc to PATH just in case
-os.environ["PATH"] = "/home/user/minizinc/bin:" + os.environ["PATH"]
+    print("📦 Extracting MiniZinc...")
+    os.makedirs(install_path, exist_ok=True)
+    with tarfile.open(bundle_path, "r:gz") as tar:
+        tar.extractall(path=install_path, members=_strip_top_level(tar))
 
-# Check MiniZinc is working
+    print("✅ MiniZinc installed.")
+
+def _strip_top_level(tar):
+    # Removes top-level folder when extracting
+    top_level = tar.getmembers()[0].name.split('/')[0]
+    for member in tar.getmembers():
+        member.path = '/'.join(member.path.split('/')[1:])
+        yield member
+
+# Install and patch env
+install_minizinc()
+os.environ["PATH"] = f"/home/user/minizinc/bin:{os.environ['PATH']}"
+
+# Check it works
 try:
-    output = subprocess.check_output(["minizinc", "--version"], text=True)
-    print("MiniZinc version:", output)
+    version = subprocess.check_output(["minizinc", "--version"], text=True)
+    print("🧠 MiniZinc version:", version.strip())
 except Exception as e:
-    print("MiniZinc not found:", e)
-
+    print("❌ MiniZinc install failed:", e)
 
-setup_directories()
 
 if __name__ == "__main__":
     demo = create_ui()

src/utils.py

@@ -1,7 +0,0 @@
-import os
-
-from src.config import LOCAL_TEMP_SUBMISSIONS_DIR
-
-
-def setup_directories():
-    os.makedirs(LOCAL_TEMP_SUBMISSIONS_DIR, exist_ok=True)