Constraint Programming in OPL

OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst 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 simpli es 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 con guration example.

• Type: Conference
• Year: 1999
• Where: PPDP
• Authors: Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin
• Keywords: Constraint Programming, Modeling Languages, OPL Models, PPDP 1999, Programming Languages