Update app.py
Browse files
app.py
CHANGED
@@ -21,13 +21,12 @@ def _handle_mis_solve(file_path: str):
|
|
21 |
shutil.move(file_path, GPICKLE_PATH)
|
22 |
start_time = time.time()
|
23 |
solver = KaMISSolver()
|
24 |
-
|
25 |
-
|
26 |
-
|
27 |
-
|
28 |
-
|
29 |
-
|
30 |
-
solver.solve("tmp")
|
31 |
solved_time = time.time() - start_time
|
32 |
draw_mis_problem(
|
33 |
save_path=MIS_PROBLEM_PATH,
|
|
|
21 |
shutil.move(file_path, GPICKLE_PATH)
|
22 |
start_time = time.time()
|
23 |
solver = KaMISSolver()
|
24 |
+
try:
|
25 |
+
solver.solve("tmp")
|
26 |
+
except:
|
27 |
+
solver.recompile_kamis()
|
28 |
+
os.system("conda activate base")
|
29 |
+
solver.solve("tmp")
|
|
|
30 |
solved_time = time.time() - start_time
|
31 |
draw_mis_problem(
|
32 |
save_path=MIS_PROBLEM_PATH,
|