3 Commits

Author	SHA1	Message	Date
Corentin Le Molgat	a66a6daac7	Bump Copyright to 2025	2025-01-10 11:35:44 +01:00
Laurent Perron	b899e25cec	[CP-SAT] fix a few fuzzer bugs; preserve a bit more hints during presolve; change max_clique heuristics used in presolve	2024-11-15 07:30:45 +01:00
Laurent Perron	663a591a32	[CP-SAT] move code around; add more tests	2024-10-23 15:47:31 +02:00