problem type: mixed integer linear programming

sets of tuples

set operators CROSS and SETOF

sets indexed by other sets

modeling if-then constraints using binary variables

CARD function

PUT statement

.sol variable suffix

FILE statement