gurobi: add 13.0.0 and 12.0.3 dynamic support

Author: Mizux

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.