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…

Fork me on GitHub