5 Commits

Author	SHA1	Message	Date
Mizux Seiha	4f381f6d07	backport from main: ... * bump abseil to 20250814 * bump protobuf to v32.0 * cmake: add ccache auto support * backport flatzinc, math_opt and sat update	2025-09-16 16:25:04 +02:00
Laurent Perron	7e98e7b4d4	[CP-SAT] improve no_overlap_2d cuts; more no_overlap_2d cuts; bugfixes; add sat/c_api subdirectory	2025-02-10 12:45:46 +01:00
Corentin Le Molgat	a66a6daac7	Bump Copyright to 2025	2025-01-10 11:35:44 +01:00
Laurent Perron	dba2281f13	[CP-SAT] more work on no_overlap_2d; revisit all includes	2024-12-04 17:47:28 +01:00
Corentin Le Molgat	ef8716241a	backport from main	2024-10-01 12:48:20 +02:00