Timetabling: Model
Variables: For each course C the variable TC represents the time slot in which it is given.
Constraints: Non-overlap constraints for instructor assignment and student selection are represented by \=: constraints.
Preferences: Optimization function is constructed as a sum of reified \=: constraints