SMT-Solver可用于约束求解.众所周知,CSP求解器也用于求解约束多年.那么SMT求解器优于CSP求解器的优势是什么？
constraint-programming satisfiability
constraint-programming ×1
satisfiability ×1