2 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	de5fbc46ab	util/python: add solve interrupter	2025-08-20 11:36:43 +02:00