Abstract
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 OPL Script, 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 OPL Script on a simple configuration example.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bisschop, J., Meeraus, A.: On the Development of a General Algebraic Modeling System in a Strategic Planning Environment. Mathematical Programming Study 20, 1–29 (1982)
Colmerauer, A.: An Introduction to Prolog III. Commun. ACM 28(4), 412–418 (1990)
Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., Berthier, F.: The Constraint Logic Programming Language CHIP. In: Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan (December 1988)
Fourer, R., Gay, D., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming. The Scientific Press, San Francisco (1993)
Harvey, W.D., Ginsberg, M.L.: Limited Discrepancy Search. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, Montreal, Canada (August 1995)
Mackworth, A.K.: Consistency in Networks of Relations. Artificial Intelligence 8(1), 99–118 (1977)
McAloon, K., Tretkoff, C., Wetzel, G.: Sport League Scheduling. In: Proceedings of the 3th Ilog International Users Meeting, Paris, France (1997)
Régin, J.-C.: A filtering algorithm for constraints of difference in CSPs. In: AAAI 1994, proceedings of the Twelth National Conference on Artificial Intelligence, Seattle, Washington, pp. 362–367 (1994)
Régin, J.-C.: Generalized arc consistency for global cardinality constraint. In: AAAI-1996, proceedings of the Thirteenth National Conference on Artificial Intelligence, Portland, Oregon, pp. 209–215 (1996)
Régin, J.-C.: Sport league scheduling. In INFORMS, Montreal, Canada (1998)
Ilog S.A.: Ilog Solver 4.31 Reference Manual (1998)
Smolka, G.: The Oz Programming Model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol. 1000. Springer, Heidelberg (1995)
Van Hentenryck, P.: The OPL Optimization Programming Language. The MIT Press, Cambridge (1999)
Van Hentenryck, P.: OPL Script: Composing and Controlling Models. Research Report 99-05, Department of Computing Science and Engineering, UCL, Louvain- La-Neuve (April 1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Van Hentenryck, P., Michel, L., Perron, L., Régin, J.C. (1999). Constraint Programming in OPL. In: Nadathur, G. (eds) Principles and Practice of Declarative Programming. PPDP 1999. Lecture Notes in Computer Science, vol 1702. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10704567_6
Download citation
DOI: https://doi.org/10.1007/10704567_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66540-3
Online ISBN: 978-3-540-48164-5
eBook Packages: Springer Book Archive