TSPLIB—A Traveling Salesman Problem Library | Synapse