2 Commits

Author	SHA1	Message	Date
Laurent Perron	a841258da7	[CP-SAT] misc improvements to the internals; more work on general constraints with enforcements	2025-09-17 07:47:03 +02: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