cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
1k stars
35 watching
225 forks
Language: SMT
last commit: 11 days ago cvc5 cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.