File size: 510 Bytes
e67d561 180f9fe b5712a3 e67d561 b5712a3 36ea38b b5712a3 180f9fe b5712a3 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 |
import os
import subprocess
from src.ui import create_ui
from src.utils import setup_directories
# Add MiniZinc to PATH just in case
os.environ["PATH"] = "/home/user/minizinc/bin:" + os.environ["PATH"]
# Check MiniZinc is working
try:
output = subprocess.check_output(["minizinc", "--version"], text=True)
print("MiniZinc version:", output)
except Exception as e:
print("MiniZinc not found:", e)
setup_directories()
if __name__ == "__main__":
demo = create_ui()
demo.queue().launch() |