Pourquoi le besoin de résolveurs TSP lorsqu'il y a des solveurs SAT?

Question

Concorde TSP est un solveur pour TSP. Les solveurs SAT sont des résolveurs pour la satisfaction booléenne. TSP et SAT sont NP-complete.

Par conséquent, pourquoi passer du temps à développer le TSP Concorde alors qu'il y a une abondance de solveurs SAT sur le marché à l'époque?