In this section
We cover lazy constraint generation and user cut generation.
We test our code on both small instances and larger instances from the TSPLIB library.
We profile performance on the TSPLIB instances.