You would generally not use Coq to solve SAT or SMT problems, you'd use Coq to p...

		the-smug-one on Feb 28, 2021 \| parent \| context \| favorite \| on: Translating My Z3 Tutorial to Coq 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.