app.py

from src.ui import create_ui
import os
import subprocess

try:
    version = subprocess.check_output(["minizinc", "--version"], text=True, stderr=subprocess.STDOUT, timeout=10)
    print(f"🧠 MiniZinc version (from Docker env): {version.strip()}")
    solvers = subprocess.check_output(["minizinc", "--solvers"], text=True, stderr=subprocess.STDOUT, timeout=10)
    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__":
    demo = create_ui()
    demo.queue().launch()