MPMMine：面向约束获取的更优基准套件

MPMMine 是一套用于评估约束获取（CA）算法的基准套件，可发现、验证和增强数学规划（MP）模型。它提供每个问题的多种 MP 模型表述、每个模型数十个参数实例，以及离散、连续和混合域中数千个示例解与非解，并附自然语言描述以支持文本到模型方法。配套的 mpmmine-py Python 包提供数据集访问 API，MPMMine Leaderboard 则在隔离容器中一致地评测现有 CA 算法。