3 ms·Decision Procedure vs. SMT solver vs. Theorem prover vs. Constraint solver2 points by whereistimbo 6y ago