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