EquivaFormulation

该数据集是首个开源数据集，其中包含了MILP实例的等效公式化表达。这些等效公式是通过将现有公式应用转换而生成的。数据集还包括了用于创建等效公式化表达的转换细节，并捕捉了MILPs中广泛使用的建模技术。该任务的目的是对优化公式进行等效性检查。