Three-Dimensional Noughts and Crosses: A Combinatorial Problem


Features Demonstrated

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