OPL

Optimization Programming Language

A modeling language for combinatorial optimization. Support for constraint programming, including sophisticated search specifications, logical and higher order constraints, scheduling and resource allocation.

The OPL Optimization Programming Language, Pascal Van Hentenryck, MIT Press, 1999.