Solver for the Travelling Salesman Problem.