The following features are demonstrated in this example:
problem type: mixed integer linear programming
sets of tuples
sets indexed by other sets
reading multiple input data sets
set operators UNION, INTER, and CROSS
CARD function
using a colon (:) to select members of a set
modeling if-then constraints by using binary variables
FILE statement
PUT statement