This is the repository containing the code written (and, at points, adapted from external sources) for purposes of the MSc in Mathematical Modelling and Scientific Computing from the Mathematical Institute at the University of Oxford --- in particular, for purposes of a special topic unit in the subject B6.3 Integer Programming (lecturer: Prof. Raphael Hauser).