Table of Contents

1   Introduction

1.1 Background

1.2 OPL

1.3 Contents

1.4 Model Conventions and Disclaimers

I   THE LANGUAGE

2   A Short Tour of OPL

2.1 Linear and Integer Programming

2.2 Constraint Programming

2.3 Scheduling

2.4 Notes and References

3   Models

3.1 Syntactic Conventions

3.2 Terminal Symbols

3.3 Models

4   Data Modleing

4.1 Basic Data Types

4.2 Data Structures

4.3 Variables

4.4 Data Types for Scheduling Applications

4.5 Constraint Declarations

4.6 Data Consistency

4.7 Initialization

5   Expressions and Constraints

5.1 Expressions and Relations

5.2 Constraints

5.3 Stating Constraints

6   Formal Parameters

6.1 Basic Formal Parameters

6.2 Tuples of Parameters

6.3 Filtering in Tuples of Parameters

6.4 Modeling Issues

7   Search

7.1 The Try Instruction

7.2 The Tryall Instruction

7.3 Quantifiers

7.4 Sequencing Choices

7.5 Conditional Choices

7.6 The While Instruction

7.7 The Select Instruction

7.8 The Let Statement

7.9 The Once Statement

7.10 Constraints

7.11 Data-Driven Constructs

7.12 Predefined Search Strategies

7.13 Choices in Scheduling

8   Display

8.1 Displaying Data

8.2 Filtering and Aggregating Results

8.3 Computing Derived Results

8.4 Displaying Tuples

II   THE APPLICATION AREAS

9   Linear and Integer Programming

9.1 Linear Programming

9.2 Integer Programming

9.3 Mixed Integer-Linear Programming

9.4 Piecewise Linear Programming

9.5 Notes and References

10   Constraint Programming

10.1 Warehouse Location

10.2 Car Sequencing

10.3 The Euler Tour

10.4 Frequency Allocation

10.5 Rack Configuration

10.6 Notes and References

11   Scheduling

11.1 Origin and Horizon

11.2 Activities

11.3 Unary Resources

11.4 Discrete Resources

11.5 Reservoirs

11.6 Alternative Resources

11.7 Notes and References