Constraint acquisition needs better benchmarks

In three linesMPMMine is a benchmark suite for evaluating Constraint Acquisition (CA) algorithms that discover, validate, and enhance Mathematical Programming models. It standardizes domain knowledge artifacts in open formats (MiniZinc, CommonMark, JSON) and provides thousands of solutions/non-solutions to improve reproducibility and cross-study comparability.

Summary generated by Claude — human-verified