or-tools 9.10

[BrewTestBot]

Created by brew bump

---

Created with brew bump-formula-pr.

release notes

## Dependencies


ZLIB 1.3.1.


abseil-cpp 20240116.2.


Protobuf v26.1.


Re2 2024-04-01.


HiGHS v1.7.0.


Scip v900.


Add support for Gurobi 11.


C++ Changes

replace std::vector& with absl::Span.
replace const std::string& with absl::string_view.
Improve XPRESS support.

Algorithms

more work on set covering.

CP-SAT

Improve propagation of no_overlap_2d
Fix crash in no_overlap_2d Large Neighborhood Search
Improve core based search
Preserve hints during presolve
Improve lb_tree_search
Improve python typing
Improve communication between shared_tree workers
Add best bound callback
Improve presolve (in particular lin_max)
Merge the linear propagator and the difference propagator
Change pseudo-cost implementation to be closer to the literature
Add missing int_mod evaluation for violation_ls and feasibility_jump

Known Issue

[bazel] Highs 1.7.0 math_opt tests failed #4203
[python ]MathOpt solver_test timeout on macOS #4209

Full Changelog: google/or-tools@v9.9...v9.10

[carlocab]

I considered just disabling HIGHS, but upstream include it in their builds so we should do so for ours as well, I think. Same for SCIP.

[bevanjkay]

I considered just disabling HIGHS, but upstream include it in their builds so we should do so for ours as well, I think. Same for SCIP.

Yeah, it looks like they do 👍

[carlocab]

ld: Undefined symbols:
    Highs::setLogCallback(void (*)(HighsLogType, char const*, void*), void*), referenced from:
        operations_research::math_opt::HighsSolver::Solve(operations_research::math_opt::SolveParametersProto const&, operations_research::math_opt::ModelSolveParametersProto const&, std::__1::function<void (std::__1::vector<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, std::__1::allocator<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>>> const&)>, operations_research::math_opt::CallbackRegistrationProto const&, std::__1::function<absl::lts_20240116::StatusOr<operations_research::math_opt::CallbackResultProto> (operations_research::math_opt::CallbackDataProto const&)>, operations_research::SolveInterrupter const*) in highs_solver.cc.o
        absl::lts_20240116::cleanup_internal::Storage<operations_research::math_opt::HighsSolver::Solve(operations_research::math_opt::SolveParametersProto const&, operations_research::math_opt::ModelSolveParametersProto const&, std::__1::function<void (std::__1::vector<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, std::__1::allocator<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>>> const&)>, operations_research::math_opt::CallbackRegistrationProto const&, std::__1::function<absl::lts_20240116::StatusOr<operations_research::math_opt::CallbackResultProto> (operations_research::math_opt::CallbackDataProto const&)>, operations_research::SolveInterrupter const*)::$_0>::InvokeCallback() in highs_solver.cc.o
  clang: error: linker command failed with exit code 1 (use -v to see invocation)

Doesn't like our version of HIGHS, maybe.

[github-actions]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. To keep this pull request open, add a help wanted or in progress label.

[carlocab]

Let's try building without HIGHS for now.

[cho-m]

Looks like or-tools is using a deprecated HIGHS API that isn't compiled via CMake. Upstream uses a patch to enable: https://github.com/google/or-tools/blob/v9.10/patches/highs.patch

[github-actions]

🤖 An automated task has requested bottles to be published to this PR.