A university lab timetabling system.