Corentin Le Molgat
|
0db80a34f6
|
sat: backport from main
|
2025-08-06 10:54:53 +02:00 |
|
Corentin Le Molgat
|
4151254eba
|
sat: backport from main
|
2025-07-23 15:04:05 +02:00 |
|
Laurent Perron
|
0a5e8db6af
|
[CP-SAT] lots of bugfixes, improvement to primary variables heuristics; cleanup scheduling cuts code
|
2025-05-14 13:34:04 +02:00 |
|
Laurent Perron
|
9845bef9fa
|
[CP-SAT] more presolve
|
2025-04-25 19:04:27 +02:00 |
|
Laurent Perron
|
81474345a8
|
[CP-SAT] more tweakings
|
2025-04-16 11:09:47 +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 |
|
Laurent Perron
|
a4b37b6465
|
large sync with main
|
2025-03-07 10:33:36 +01:00 |
|