| 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() |