Cyclic hoist scheduling model and benchmarks: "A New Constraint Programming Model and Solving for the Cyclic Hoist Scheduling Problem"

Constraint programming model in MiniZinc, and benchmark data sets, accompanying the Constraints journal article "A New Constraint Programming Model and Solving for the Cyclic Hoist Scheduling Problem" by Mark Wallace and Neil Yorke-Smith, and the CPAIOR 2020 abstract of the same title.本数据集涵盖基于MiniZinc的约束编程模型（Constraint programming model）与基准数据集（benchmark datasets），配套了Mark Wallace与Neil Yorke-Smith发表于《约束》（Constraints）期刊的学术论文"循环起重调度问题（Cyclic Hoist Scheduling Problem）的新型约束编程模型与求解方法"，以及该论文同名的2020年CPAIOR会议摘要。