Advanced Search Tips

CVC3

Submitted by on Jun 18 2014 Suggest Revision
By: Clark Barrett, Cesare Tinelli
From: Stanford University, NYU
Resource Type:
Code
License:
Other/Unknown
Language:
C, C++
Data Format:

Description

CVC3 is an 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.
Post comment
Cancel