always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gurobi: add 13.0.0 and 12.0.3 dynamic support

Browse Source
This commit is contained in:
Corentin Le Molgat
2025-11-21 10:24:47 +01:00
parent 7adffccc0d
commit e89fcb39a7
1 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
ortools/third_party_solvers/gurobi_environment.cc
View File

@@ -336,10 +336,16 @@ void LoadGurobiFunctions(DynamicLibrary* gurobi_dynamic_library) {
std::vector<std::string> GurobiDynamicLibraryPotentialPaths() {
std::vector<std::string> potential_paths;
// clang-format off
const std::vector<absl::string_view> 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.