diff --git a/scripts/run_command_building.py b/scripts/run_command_building.py index 1d6019a..f5f5972 100644 --- a/scripts/run_command_building.py +++ b/scripts/run_command_building.py @@ -35,8 +35,7 @@ def make_command_to_run(path_where_to_find_exe, batch_name, study_path): command_to_run = [exe_path, "-i", str(study_path)] if batch_name == "valid-milp": - command_to_run.append('--use-ortools') - command_to_run.append('--ortools-solver=coin') + command_to_run.append('--solver=coin') if batch_name == "valid-named-mps": command_to_run.append('--named-mps-problems') @@ -47,4 +46,4 @@ def run_command(command): process = subprocess.Popen(command, stdout=subprocess.PIPE, stderr=None) process.communicate() exit_code = process.wait() - return (exit_code == 0) \ No newline at end of file + return (exit_code == 0)