EquivaFormulation

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

This is the first open-source dataset containing equivalent formulations of mixed integer linear programming (MILP) instances. These equivalent formulations are generated by applying transformation operations to existing MILP formulations. The dataset also includes the detailed transformation procedures used to create these equivalent formulations, and captures the modeling techniques that are widely utilized in MILPs. The objective of this task is to perform equivalence checks on optimization formulations.