Source code for our paper in Computers & Operations Research 37 (3), 582-597. "Decomposition, reformulation, and diving in university course timetabling". If you use this code, please cite the paper as:
@article{burke2010decomposition,
title={Decomposition, reformulation, and diving in university course timetabling},
author={Burke, Edmund K and Mare{\v{c}}ek, Jakub and Parkes, Andrew J and Rudov{\'a}, Hana},
journal={Computers \& Operations Research},
volume={37},
number={3},
pages={582--597},
year={2010},
publisher={Elsevier}
}