try to fix minizinc not found in path

app.py

@@ -4,7 +4,6 @@ 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"]
 

src/eval.py

@@ -53,6 +53,8 @@ def run_evaluation(submission_path):
     ]
 
     try:
+        env = os.environ.copy()
+        env["PATH"] = "/home/user/minizinc/bin:" + env["PATH"]
         process = subprocess.run(
             command,
             capture_output=True,
@@ -60,6 +62,7 @@ def run_evaluation(submission_path):
             check=False,
             timeout=600,
             encoding='utf-8',
+            env=env
         )
 
         if process.returncode == 0: