Analyzed about 15 hours ago
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.
389K
lines of code
16
current contributors
1 day
since last commit
1
users on Open Hub