3 Commits

Author	SHA1	Message	Date
Corentin Le Molgat	a66a6daac7	Bump Copyright to 2025	2025-01-10 11:35:44 +01:00
Mizux Seiha	a76bf1c5dd	bump license boilerplate	2024-01-04 13:43:15 +01:00
Laurent Perron	08e53974c7	[CP-SAT] tweak model cloning API; implement it in java; merge pure sat presolve with normal presolve	2023-10-25 15:38:57 +02:00