4 Commits

Author	SHA1	Message	Date
Corentin Le Molgat	a66a6daac7	Bump Copyright to 2025	2025-01-10 11:35:44 +01:00
Laurent Perron	c930dd656e	[CP-SAT] check the time limit more frequently; experimental support for lp folding; more pedantic tests in presolve	2024-10-16 14:13:02 +02:00
Corentin Le Molgat	ef8716241a	backport from main	2024-10-01 12:48:20 +02:00
Laurent Perron	701cc87e1e	backport from main: sat, graph, lp_data, glop	2024-09-13 13:29:25 -07:00