diff --git a/ortools/third_party_solvers/gurobi_environment.cc b/ortools/third_party_solvers/gurobi_environment.cc index 007e766527..4c1e1334a0 100644 --- a/ortools/third_party_solvers/gurobi_environment.cc +++ b/ortools/third_party_solvers/gurobi_environment.cc @@ -336,10 +336,16 @@ void LoadGurobiFunctions(DynamicLibrary* gurobi_dynamic_library) { std::vector GurobiDynamicLibraryPotentialPaths() { std::vector potential_paths; + // clang-format off const std::vector kGurobiVersions = { - "1202", "1201", "1200", "1103", "1102", "1101", "1100", - "1003", "1002", "1001", "1000", "952", "951", "950", - "911", "910", "903", "902", "811", "801", "752"}; + "1300", + "1203", "1202", "1201", "1200", + "1103", "1102", "1101", "1100", + "1003", "1002", "1001", "1000", + "952", "951", "950", + "911", "910", "903", "902", + "811", "801", "752"}; + // clang-format on potential_paths.reserve(kGurobiVersions.size() * 3); // Look for libraries pointed by GUROBI_HOME first.