The following features are demonstrated in this example:
problem type: mixed integer linear programming
sets of tuples
set operators CROSS and SETOF
sets indexed by other sets
modeling if-then constraints by using binary variables
CARD function
PUT statement
.sol variable suffix
FILE statement