Computing with Domino-Parity Inequalities for the Traveling Salesman Problem (TSP)