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.

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: v9.12...v9.13