SMT-Solver kann zum Lösen von Abhängigkeiten verwendet werden. Wie wir wissen, sind CSP Solver auch für Constraint-Lösung für viele Jahre. Was ist der Vorteil von SMT-Solver gegenüber CSP-Solvern?
Das hängt ganz davon ab, was Sie tun wollen. Sie können sowohl SAT als auch Abhängigkeitsprobleme als SAT-Problem lösen. Constraint Solver bieten in der Regel die höchste Abstraktionsebene, wenn es um die Modellierung des Problems geht. SAT-Solver sind sehr schnell, aber je nach Problem kann ein SMT- oder Constraint-Solver schneller sein.
Es gibt keine allgemeine Antwort auf Ihre Frage. Es hängt von Ihrem speziellen Anwendungsfall ab.
Tags und Links constraint-programming satisfiability