Mizux Seiha
|
4f381f6d07
|
backport from main:
* bump abseil to 20250814
* bump protobuf to v32.0
* cmake: add ccache auto support
* backport flatzinc, math_opt and sat update
|
2025-09-16 16:25:04 +02:00 |
|
Laurent Perron
|
f54ac85858
|
[CP-SAT] support pb24 problem formats; speed ups 2d packing; bugfixes; cleanups
|
2025-04-02 19:13:51 +02:00 |
|
Laurent Perron
|
243a442a71
|
[CP-SAT] more work on routing cuts; improve enforcement of time limits
|
2025-03-19 13:23:33 -07:00 |
|
Corentin Le Molgat
|
62dca6e486
|
backport vlog_is_on.h patch from main
|
2025-03-13 15:56:35 +01:00 |
|
Mizux Seiha
|
068359c162
|
ortools: backport from main
|
2025-03-04 21:09:32 +01:00 |
|
Mizux Seiha
|
56fde74a11
|
move set_cover
|
2025-03-04 21:06:53 +01:00 |
|
Laurent Perron
|
9cb88905e8
|
[CP-SAT] regroup all hint preservation code in a SolutionCrunch class; more work on no_overlap_2d propagator; add exception processing if an exceptions is raised in a python callback (solution, log, best_bound)
|
2025-01-20 15:00:46 +01:00 |
|
Laurent Perron
|
54b8c24839
|
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
|
2025-01-15 13:51:40 +01:00 |
|
Corentin Le Molgat
|
a66a6daac7
|
Bump Copyright to 2025
|
2025-01-10 11:35:44 +01:00 |
|
Laurent Perron
|
dba2281f13
|
[CP-SAT] more work on no_overlap_2d; revisit all includes
|
2024-12-04 17:47:28 +01:00 |
|
Laurent Perron
|
78d5ba5941
|
[CP-SAT] more work on hints; control complexity of 2d packing constraints and presolve
|
2024-11-26 17:55:57 +00:00 |
|
Corentin Le Molgat
|
00885d45bd
|
sat: backport from main
|
2024-11-15 14:40:47 +01:00 |
|
Corentin Le Molgat
|
ef8716241a
|
backport from main
|
2024-10-01 12:48:20 +02:00 |
|