We want to establish the weekly timetable for two classes of a college. The two classes have the same teachers, except for mathematics and sport. All lessons have a duration of two hours. All students of the same class attend exactly the same courses. Every class may only have one two-hour lesson per subject on a single day. Some teachers are only available on certain days. Some time slots are reserved for certain subjects.

Further explanation of this example: 'Applications of optimization with Xpress-MP', Section 14.3 'Establishing a college timetable' (i3school.mos)

! Data file for `timetable.mos'

COURSE: [("Mr Cheese" 1)    1 1
         ("Mrs Insulin" 1)  3 3
         ("Mr Map" 1)       2 2
         ("Mr Effofecks" 1) 0 4
         ("Mrs Derivate" 1) 4 0
         ("Mrs Electron" 1) 3 3
         ("Mr Wise" 1)      1 1
         ("Mr Muscle" 1)    1 0
         ("Mrs Biceps" 1)   0 1]

NAMES: ["Mon" "Tue" "Wed" "Thu" "Fri"]