Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

CVC4

Compare

  Analyzed about 10 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.

384K lines of code

16 current contributors

2 days since last commit

1 users on Open Hub

High Activity
5.0
 
I Use This