Do CSP solvers have any fundamental advantages over SMT/SAT solvers, in terms of performance?The answer is going to be problem dependent, so I should also ask: what does a problem need to contain in order for CSP to be faster than SMT/SAT ?
When is CSP faster than SMT/SAT?
sat;csp