3 ms·Constraint satisfaction problem (CSP) vs. satisfiability modulo theory (SMT)2 points by pcfwik 2y ago