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: google/or-tools@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]

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.