В чем преимущество SMT-решателя перед CSP-решателем при решении ограничений?

SMT-Solver можно использовать для решения ограничений. Как мы знаем, решатели CSP уже много лет также предназначены для решения ограничений. Так в чем же преимущество SMT-решателя перед CSP-решателями?