3 ms·
You would generally not use Coq to solve SAT or SMT problems, you'd use Coq to prove things. Coq will most probably not be as fast as Z3.
by the-smug-one 6y ago
You would generally not use Coq to solve SAT or SMT problems, you'd use Coq to prove things. Coq will most probably not be as fast as Z3.