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
Corentin Le Molgat	a66a6daac7	Bump Copyright to 2025	2025-01-10 11:35:44 +01:00
Corentin Le Molgat	00885d45bd	sat: backport from main	2024-11-15 14:40:47 +01:00
Laurent Perron	ee241f30b5	[CP-SAT] supports affine expression in automaton	2024-10-25 13:15:40 +02:00
Corentin Le Molgat	a72b8b25ff	sat: export tests from google3	2024-10-07 08:25:27 +02:00