cvc3-2.4.1-1-omv2013.0.x86_64.rpm


Advertisement

Description

cvc3 - Automatic theorem prover for Satisfiability Modulo Theories

Property Value
Distribution OpenMandriva Cooker
Repository OpenMandriva Contrib Release 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.

Alternatives

Package Version Architecture Repository
cvc3-2.4.1-1-omv2013.0.i586.rpm 2.4.1 i586 OpenMandriva Contrib Release
cvc3 - - -

Requires

Name Value
lib64cvc3_5 = 2.4.1
libc.so.6(GLIBC_2.14)(64bit) -
libcvc3.so.5()(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -

Provides

Name Value
cvc3 = 2.4.1-1

Download

Type URL
Binary Package cvc3-2.4.1-1-omv2013.0.x86_64.rpm
Source Package cvc3-2.4.1-1.src.rpm

Install Howto

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

Files

Path
/usr/bin/cvc3
/usr/share/doc/cvc3/LICENSE
/usr/share/doc/cvc3/PEOPLE
/usr/share/doc/cvc3/README

See Also

Package Description
cvechecker-3.1-2-omv2015.0.x86_64.rpm CVE reporting tool
cvoicecontrol-0.9-0.alpha.7-omv2013.0.x86_64.rpm Speech recognition system enabling to use spoken commands
cvs2cl-2.73-4-omv2015.0.noarch.rpm Generator of ChangeLogs from `cvs log` output
cvs2svn-2.4.0-1-omv2014.1.noarch.rpm Convert CVS repositories to Subversion, Git or Bazaar repositories
cvsadmin-1.0.3-12-omv2015.0.x86_64.rpm Tool to administer users of a CVS repository
cvsgraph-1.7.0-4-omv2013.0.x86_64.rpm Create graphs of branches and revisions for files in a CVS repository
cvsps-2.2b1-6-omv2015.0.x86_64.rpm Patchset tool for CVS
cvsreport-0.3.5-9-omv2015.0.noarch.rpm Produce CVS activity reports
cvsspam-0.2.12-8-omv2015.0.noarch.rpm Emails you diffs when someone commits a change to your CVS repository
cvsutils-0.2.5-3-omv2015.0.noarch.rpm Collection of useful CVS scripts
cwiid-0.6.01-6-omv2015.0.x86_64.rpm Wiimote Interface
cwirc-2.0.0-7-omv2015.0.x86_64.rpm X-Chat Morse plugin
cwtmp-3.4-2-omv2015.0.x86_64.rpm Clean up utmp & wtmp files (discard entries; fix corruption)
cxmon-3.2-5-omv2015.0.x86_64.rpm Command-line file manipulation tool and disassembler
cxref-1.6c-2-omv2015.0.x86_64.rpm C program cross-referencing & documentation tool
Advertisement
Advertisement