Example implementation of TSP:

Gurobi

SCIP (has direct subtour elimination constraint)