Solver

See course-timetabling-solver for more details.