From e89fcb39a77ef4c65798c21224bf1b062e024c3f Mon Sep 17 00:00:00 2001
From: Corentin Le Molgat <corentinl@google.com>
Date: Fri, 21 Nov 2025 10:24:47 +0100
Subject: [PATCH] gurobi: add 13.0.0 and 12.0.3 dynamic support

---
 ortools/third_party_solvers/gurobi_environment.cc | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

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<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.