v9.10

[lperron]

• This is mostly a CP-SAT bugfix release.
• We have updated a few dependencies, including the compatibility breaking protobuf 26.1.
• Highs is included i MathOpt, but we still have some issues with it.

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.
• Remove the command line flags --logtostderr which was a no-op since the implementation of the logging module in abseil. Please use --stderrthreshold=0 instead.

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 [bazel] Highs 1.7.0 math_opt tests failed #4203
• [python ]MathOpt solver_test timeout on macOS [python ]MathOpt solver_test timeout on macOS #4209
• [windows] Lots of report of crashes (Upgrade 9.9.2963 -> 9.10.4067 causes server silent reboot #4224, CP-SAT solver stopped working on Windows after updating to ortools 9.10 #4225, Windows fatal exception: access violation message while using HIGHS via math_opt #4226, Python: CP-SAT tutorial example crashes on Windows with 9.10.4067 #4227). Make sure visual studio is fully updated.
• [java] Protobuf was updated to v26.1. On the java platform, the corresponding package (5.26.1) in incompatible with 3.x.

Full Changelog: v9.9...v9.10