- Name: cvc3
- Version: 2.4.1
- Release: 0
- Epoch:
- Group: Sciences/Computer science
- License: BSD
- Url: http://cs.nyu.edu/acsys/cvc3/index.html
- Summary: Automatic theorem prover for Satisfiability Modulo Theories
- Architecture: x86_64
- Size: 1200921
- Distribution: Mandriva Linux
- Vendor: Mandriva
- Packager: Pavel Shved <pavel.shved@rosalab.ru>
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.
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.
- BuildArch:
- ExcludeArch:
- ExclusiveArch:
- Cookie: n10.mandriva.com 1320164730
- Buildhost: n10.mandriva.com
Generated packages:
- cvc3-2.4.1-0.i586
- cvc3-debug-2.4.1-0.i586
- libcvc3_5-2.4.1-0.i586
- libcvc3_5-devel-2.4.1-0.i586
- cvc3-2.4.1-0.x86_64
- cvc3-debug-2.4.1-0.x86_64
- lib64cvc3_5-2.4.1-0.x86_64
- lib64cvc3_5-devel-2.4.1-0.x86_64
Other version of this rpm: