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


Advertisement

Description

lib64cvc3_5 - Shared libraries for automatic SMT theorem proving

Property Value
Distribution OpenMandriva Lx 4.0
Repository OpenMandriva Unsupported Release x86_64
Package filename lib64cvc3_5-2.4.1-1-omv2013.0.x86_64.rpm
Package name lib64cvc3_5
Package version 2.4.1
Package release 1-omv2013.0
Package architecture x86_64
Package type rpm
Category Sciences/Computer science
Homepage http://cs.nyu.edu/acsys/cvc3/index.html
License BSD
Maintainer -
Download size 1.66 MB
Installed size 6.05 MB
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.
This is a shared library with CVC3 for use in external applications.

Alternatives

Package Version Architecture Repository
lib64cvc3_5 - - -

Requires

Name Value
libc.so.6(GLIBC_2.14)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libgmp.so.10()(64bit) -
libm.so.6()(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(CXXABI_1.3.1)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.15)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -

Provides

Name Value
libcvc3.so.5()(64bit) -

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package lib64cvc3_5-2.4.1-1-omv2013.0.x86_64.rpm
Source Package cvc3-2.4.1-1.src.rpm

Install Howto

  1. Enable the repository in Software Repository Picker:
    # om-repo-picker
  2. Install lib64cvc3_5 rpm package:
    # dnf --refresh install lib64cvc3_5

Files

Path
/usr/lib64/libcvc3.so.5
/usr/lib64/libcvc3.so.5.0
/usr/lib64/libcvc3.so.5.0.0

See Also

Package Description
lib64cvc3_5-devel-2.4.1-1-omv2013.0.x86_64.rpm Library and includes to use automatic SMT theorem proving
lib64cw-devel-3.1.1-1-omv2015.0.x86_64.rpm Development files for unixcw
lib64cw-devel-3.1.1-1-omv4000.x86_64.rpm Development files for unixcw
lib64cw4-3.1.1-1-omv2015.0.x86_64.rpm Development files for unixcw
lib64cw4-3.1.1-1-omv4000.x86_64.rpm Development files for unixcw
lib64cwiid-devel-0.6.01-6-omv2015.0.x86_64.rpm Development headers and libraries for CWiid
lib64cwiid1-0.6.01-6-omv2015.0.x86_64.rpm Wiimote library
lib64cxxtools-devel-2.1.1-1-omv2015.0.x86_64.rpm Headers and static library for cxxtools development
lib64cxxtools8-2.1.1-1-omv2015.0.x86_64.rpm Shared library of cxxtools
lib64cyassl-devel-1.9.0-1-omv2013.0.x86_64.rpm Development package with static libs and headers
lib64cyassl0-1.9.0-1-omv2013.0.x86_64.rpm Library associated with ncpfs
lib64d0_blind_id0-0.6-4-omv2015.0.x86_64.rpm Main library for d0_blind_id
lib64d0_blind_id0-0.6-4-omv4000.x86_64.rpm Main library for d0_blind_id
lib64d0_blind_id0-devel-0.6-4-omv2015.0.x86_64.rpm Development files for d0_blind_id
lib64d0_blind_id0-devel-0.6-4-omv4000.x86_64.rpm Development files for d0_blind_id
Advertisement
Advertisement