在约束求解中，SMT-solver比CSP-solver有什么优势？

Question

SMT-Solver可用于约束求解。正如我们所知，CSP求解器也用于多年来的约束求解。那么，与CSP求解器相比，SMT-solver有什么优势呢？

Answer 1

这完全取决于你想做什么。您可以将两者转换为SAT，并将约束问题作为SAT问题来解决。当涉及到问题建模时，约束求解器通常提供最高级别的抽象。SAT解算器非常快，但根据您的问题，SMT或约束解算器可能会更快。

你的问题没有通用的答案。这取决于您的特定用例。