5 Commits

Author	SHA1	Message	Date
Corentin Le Molgat	b4b226801b	update include guards	2025-11-05 11:54:02 +01:00
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
Mizux Seiha	80686581f4	backport from main	2025-02-25 16:04:20 +01:00
Corentin Le Molgat	a66a6daac7	Bump Copyright to 2025	2025-01-10 11:35:44 +01:00
Corentin Le Molgat	a72b8b25ff	sat: export tests from google3	2024-10-07 08:25:27 +02:00