Description
cvc3 - Automatic theorem prover for Satisfiability Modulo Theories
Distribution: OpenMandriva Cooker
Repository: OpenMandriva Contrib x86_64
Package name: cvc3
Package version: 2.4.1
Package release: 1-omv2013.0
Package architecture: x86_64
Package type: rpm
Installed size: 38.84 KB
Download size: 19.15 KB
Official Mirror: abf-downloads.openmandriva.org
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.
CVC3 contains built-in support for theories for rational and integer linear
arithmetic, arrays, tuples, records, inductive data types, bit vectors, and
equality over uninterpreted function symbols. CVC3 also supports quantifiers.