4 ms·
Would you happen to know if the speed decreases "gracefully"? As in for a SAT/SMT problem, would Coq be at least as fast as z3?
by abhgh 6y ago
Would you happen to know if the speed decreases "gracefully"? As in for a SAT/SMT problem, would Coq be at least as fast as z3?
- the-smug-one 6y agoYou 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.