From 9a45796d3780684ec2c5a8cd4f1d0bcb6bdd6a30 Mon Sep 17 00:00:00 2001 From: Peter Mitri Date: Fri, 11 Oct 2024 20:33:18 +0200 Subject: [PATCH] generate ortools+sirius reference --- scripts/run_command_building.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/scripts/run_command_building.py b/scripts/run_command_building.py index 1d6019a..39a61bc 100644 --- a/scripts/run_command_building.py +++ b/scripts/run_command_building.py @@ -34,9 +34,12 @@ def make_command_to_run(path_where_to_find_exe, batch_name, study_path): print(f"Found executabled : {exe_path}") command_to_run = [exe_path, "-i", str(study_path)] + + command_to_run.append('--use-ortools') if batch_name == "valid-milp": - command_to_run.append('--use-ortools') command_to_run.append('--ortools-solver=coin') + else: + command_to_run.append('--ortools-solver=sirius') if batch_name == "valid-named-mps": command_to_run.append('--named-mps-problems')