cvc3 - Automatic theorem prover for Satisfiability Modulo Theories

Property Value
Distribution ROSA 2014.1
Repository ROSA Contrib x86_64
Package name cvc3
Package version 2.4.1
Package release 2-rosa2014.1
Package architecture x86_64
Package type rpm
Installed size 42.09 KB
Download size 19.56 KB
Official Mirror
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.


Package Version Architecture Repository
cvc3-2.4.1-2-rosa2014.1.i586.rpm 2.4.1 i586 ROSA Contrib
cvc3 - - -


Name Value
lib64cvc3_5 == 2.4.1 - - - - - - - - - - -


Name Value
cvc3 == 2.4.1-2:2014.1


Type URL
Binary Package cvc3-2.4.1-2-rosa2014.1.x86_64.rpm
Source Package cvc3-2.4.1-2.src.rpm

Install Howto

  1. Enable ROSA Contrib repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install cvc3 rpm package:
    # urpmi cvc3




2014-07-25 - Denis Silakov <> 2.4.1-2
+ Revision: 81d1205
- MassBuild#464: Increase release tag

See Also

Package Description
cvechecker-3.1-2-rosa2014.1.x86_64.rpm CVE reporting tool
cvoicecontrol-0.9-0.alpha.7-rosa2014.1.x86_64.rpm Speech recognition system enabling to use spoken commands
cvs2cl-2.72-2-rosa2014.1.noarch.rpm Generator of ChangeLog(s) from `cvs log` output
cvs2svn-2.4.0-2-rosa2014.1.noarch.rpm Convert CVS repositories to Subversion, Git or Bazaar repositories
cvsadmin-1.0.3-12-rosa2014.1.x86_64.rpm Tool to administer users of a CVS repository
cvsgraph-1.7.0-5-rosa2014.1.x86_64.rpm Create graphs of branches and revisions for files in a CVS repository
cvsps-2.2b1-3-rosa2014.1.x86_64.rpm Patchset tool for CVS
cvsreport-0.3.5-9-rosa2014.1.noarch.rpm Produce CVS activity reports
cvsspam-0.2.12-7-rosa2014.1.noarch.rpm CVSspam emails you diffs when someone commits a change to your CVS repository
cvsutils-0.2.5-3-rosa2014.1.noarch.rpm Collection of useful CVS scripts
cw-1.0.16-3-rosa2014.1.x86_64.rpm Non-intrusive real-time ANSI color wrapper for common Unix-based commands
cwiid-0.6.01-4-rosa2014.1.x86_64.rpm CWiid Wiimote Interface
cwirc-2.0.0-7-rosa2014.1.x86_64.rpm X-Chat Morse plugin
cwtmp-3.4-2-rosa2014.1.x86_64.rpm Clean up utmp & wtmp files (discard entries; fix corruption)
cxmon-3.2-5-rosa2014.1.x86_64.rpm Command-line file manipulation tool and disassembler