or-tools 9.13

[BrewTestBot]

Created by brew bump

---

Created with brew bump-formula-pr.

release notes

# What's Changed
## Platforms
* Drop Python 3.8 support
* Drop .Net 6.0 support
  * Migrate to .Net 8.0 as TFM in archives and nuget package
* Add Fedora 42 support.
* Java: may drop Java 8 in favor of Java 11 as minimum supported.
Dependencies
C++

• abseil-cpp 20250512.0
• Protobuf v31.0
• HiGHS v1.10.0
• SCIP v922

Python

• Add typing-extensions dependencies

CP-SAT

• Improvements to the no_overlap_2d constraint (presolve, propagation, and cuts)
• Speedup feasibility jump and violation ls
• Detect, store and use precedences, with their bounds (lb <= a * x + b * y <= ub) in presolve, propagation, and cuts
• Cleanup and improve presolve
• Deep improvements to routing cuts. Detect transition between nodes. Detect capacity constraints
• Improvement to scheduling cuts
• Improve clause sharing between workers in shared_tree and portfolio search
• sat_runner: supports parsing .pb, .wbo files
• Python: better support for float coefficient and bounds
• The usual bug fixes and speedups

Full Changelog: https://github.com/google/or-tools/compare/v9.12...v9.13

View the full release notes at https://github.com/google/or-tools/releases/tag/v9.13.

---

[chenrui333]

  CMake Error at cmake/check_deps.cmake:111 (message):
    Target SCIP::libscip not available.
  Call Stack (most recent call first):
    CMakeLists.txt:453 (include)

[github-actions[bot]]

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.