Constraint Programming in OPL
Constraint Programming in OPL
复制标题
OPL 中的约束编程
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Jean
中科院分区：
文献类型：
--
作者：
Pascal Van Hentenryck;L. Michel;Laurent Perron;Jean
OPL 是一种用于数学规划和组合优化问题的建模语言。它是第一种将建模语言中的高级代数和集合符号与丰富的约束语言相结合的建模语言，以及指定搜索过程和策略的能力，这是约束编程的本质。此外，还可以使用 OPLSCRIPT 来控制和组合 OPL 模型，OPLSCRIPT 是一种脚本语言，可简化解决模型序列、同一模型的多个实例或两者组合（如列生成应用程序）的应用程序的开发。本文阐述了 OPL 使用频率分配、运动调度和作业车间调度应用程序进行约束规划的一些功能。它还通过一个简单的配置示例说明了如何使用 OPLSCRIPT 来构建 OPL 模型。
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notations from modeling languages with a rich constraint language and the ability to specify search procedures and strategies that is the essence of constraint programming. In addition, OPL models can be controlled and composed using OPLSCRIPT, a script language that simplifies the development of applications that solve sequences of models, several instances of the same model, or a combination of both as in column-generation applications. This paper illustrates some of the functionalities of OPL for constraint programming using frequency allocation, sport-scheduling, and job-shop scheduling applications. It also illustrates how OPL models can be composed using OPLSCRIPT on a simple configuration example.