6 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	c71e734199	[CP-SAT] rewrite python memory management; optimize object creation in the python layer; fix plenty of fuzzer bugs; better processing of fixed rectangles in no_overlap_2d	2025-01-19 12:04:23 +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	00885d45bd	sat: backport from main	2024-11-15 14:40:47 +01:00
Corentin Le Molgat	ef8716241a	backport from main	2024-10-01 12:48:20 +02:00