cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
1k stars
35 watching
227 forks
Language: SMT
last commit: 2 days ago
Linked from 1 awesome list
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.