This paper provides a brief description of a constraint-based solver that was successfully applied by the author to the problem
instances in all three tracks of the International Timetabling Competition 2007 (For more details see the official competition
website at
http://www.cs.qub.ac.uk/itc2007.). The solver presented in this paper was among the finalists in all three tracks and the winner of two.