equal
deleted
inserted
replaced
1156 val _ = OS.FileSys.remove resultname |
1156 val _ = OS.FileSys.remove resultname |
1157 in |
1157 in |
1158 result |
1158 result |
1159 end |
1159 end |
1160 handle (Load_cplexResult s) => raise (Execute ("Load_cplexResult: "^s^"\nExecute: "^answer)) |
1160 handle (Load_cplexResult s) => raise (Execute ("Load_cplexResult: "^s^"\nExecute: "^answer)) |
1161 | exn => if Exn.is_interrupt exn then reraise exn else raise (Execute answer) |
1161 | exn => if Exn.is_interrupt exn then Exn.reraise exn else raise (Execute answer) |
1162 end |
1162 end |
1163 |
1163 |
1164 fun solve_cplex prog = |
1164 fun solve_cplex prog = |
1165 let |
1165 let |
1166 fun write_script s lp r = |
1166 fun write_script s lp r = |