3 Commits

Author	SHA1	Message	Date
Corentin Le Molgat	a66a6daac7	Bump Copyright to 2025	2025-01-10 11:35:44 +01:00
Laurent Perron	198a4d3f12	[CP-SAT] fir rare bug in dependency graph and implications; speed up no_overlap_2d and cumulative relaxation	2024-12-16 14:20:09 +01:00
Laurent Perron	663a591a32	[CP-SAT] move code around; add more tests	2024-10-23 15:47:31 +02:00