4 Commits

Author	SHA1	Message	Date
Laurent Perron	5e6f8cf332	fixes	2025-05-14 16:58:39 +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	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