cvc5
★ 0
updated 11mo ago
⑂ fork
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
No plain-English explanation yet — one is being written right now. Check back in a minute.