File size: 800 Bytes
03fe486 d7fe210 03fe486 d7fe210 03fe486 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
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()
|