Generating subtour elimination constraints for the TSP from pure integer solutions | Synapse