OPL (Optimization Programming Language) is a new modeling language for combinatorial optimization that simplifies the formulation and solution of optimization problems. Perhaps the most significant dimension of OPL is the support for constraint programming, including sophisticated search specifications, logical and higher order constraints, and support for scheduling and resource allocation applications. This book, written by the developer of OPL, is a comprehensive introduction to the OPL programming language and its application to problems in linear and integer programming, constraint programming, and scheduling. Readers should be familiar with combinatorial optimization, at least from an application standpoint.