4 Commits

Author SHA1 Message Date
Corentin Le Molgat
b4b226801b update include guards 2025-11-05 11:54:02 +01: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