CVC4 at Vienna Summer of Logic

CVC4 at Vienna Summer of Logic

CVC4 won several honors at the “Olympic Games” at the Vienna Summer of Logic. CVC4 won the most divisions of the SMT-COMP competition (14). Yices won the second most divisions (10). Unfortunately, both CVC4 and Yices got wrong answers due…

CVC4 1.4 released

We are delighted to announce version 1.4 of CVC4, the open-source flagship SMT solver developed at New York University and the University of Iowa, available at http://cvc4.cs.nyu.edu. Version 1.4 features a new decision procedure for a theory of finite sets, numerous…

Fork me on GitHub