Add support for Gurobi 13.01

[gab23r]

What version of OR-Tools and what language are you using?
Version: main/v9.6/v9.5 etc.
Language: Python

Which solver are you using (e.g. CP-SAT, Routing Solver, GLOP, BOP, Gurobi)
Gurobi

What operating system (Linux, Windows, ...) and version?
MacOS

What did you do?

from ortools.math_opt.python import mathopt, parameters
m = mathopt.Model()
mathopt.solve(m, solver_type=parameters.SolverType.GUROBI)

What did you expect to see
I expect it to find: /Library/gurobi1301/macos_universal2/lib/libgurobi130.dylib but it is not in the list.

WARNING: All log messages before absl::InitializeLog() is called are written to STDERR
W0000 00:00:1770307539.067112 9067031 environment.cc:36] NOT_FOUND: Could not find the Gurobi shared library. Looked in: [/Library/gurobi1202/mac64/lib/libgurobi120.dylib', ....

What did you see instead?

Make sure you include information that can help us debug (full error message, model Proto).

Anything else we should know about your project / environment

[gab23r]

I just noticed that the latest version of Gurobi 12 (12.0.3) is not supported as well.
It would be great to add it as well. Thanks a lot !!

[lperron]

you can specify the path to the library using https://or-tools.github.io/docs/pdoc/ortools/init/python/init.html#CppBridge.load_gurobi_shared_library

[Mizux]

main

or-tools/ortools/third_party_solvers/gurobi_environment.cc

Lines 337 to 349 in 40a3c55

	std::vector<std::string> GurobiDynamicLibraryPotentialPaths() {
	std::vector<std::string> potential_paths;
	// clang-format off
	const std::vector<absl::string_view> kGurobiVersions = {
	"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);

or-tools/ortools/third_party_solvers/gurobi_environment.cc

Lines 405 to 414 in 40a3c55

	#if defined(__GNUC__) // path in linux64 gurobi/optimizer docker image.
	for (const absl::string_view version :
	{"12.0.2", "12.0.1", "12.0.0", "11.0.3", "11.0.2", "11.0.1", "11.0.0",
	"10.0.3", "10.0.2", "10.0.1", "10.0.0", "9.5.2", "9.5.1", "9.5.0"}) {
	potential_paths.push_back(
	absl::StrCat("/opt/gurobi/linux64/lib/libgurobi.so.", version));
	}
	#endif
	return potential_paths;
	}

vs v9.15

or-tools/ortools/third_party_solvers/gurobi_environment.cc

Lines 337 to 349 in 551ad10

	std::vector<std::string> GurobiDynamicLibraryPotentialPaths() {
	std::vector<std::string> potential_paths;
	// clang-format off
	const std::vector<absl::string_view> kGurobiVersions = {
	"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);

or-tools/ortools/third_party_solvers/gurobi_environment.cc

Lines 405 to 414 in 551ad10

	#if defined(__GNUC__) // path in linux64 gurobi/optimizer docker image.
	for (const absl::string_view version :
	{"12.0.2", "12.0.1", "12.0.0", "11.0.3", "11.0.2", "11.0.1", "11.0.0",
	"10.0.3", "10.0.2", "10.0.1", "10.0.0", "9.5.2", "9.5.1", "9.5.0"}) {
	potential_paths.push_back(
	absl::StrCat("/opt/gurobi/linux64/lib/libgurobi.so.", version));
	}
	#endif
	return potential_paths;
	}

So it seems we have an issue both list should be identical....

[Mizux]

On my way to fix it....

ref: https://support.gurobi.com/hc/en-us/articles/360048138771-Gurobi-release-and-support-history