cvc4-libs-1.6-2.fc29.i686.rpm


Advertisement

Description

cvc4-libs - Library containing an automatic theorem prover for SMT problems

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename cvc4-libs-1.6-2.fc29.i686.rpm
Package name cvc4-libs
Package version 1.6
Package release 2.fc29
Package architecture i686
Package type rpm
Homepage http://cvc4.cs.stanford.edu/
License Boost and BSD and MIT
Maintainer -
Download size 5.32 MB
Installed size 17.99 MB
Library containing the core of the cvc4 automatic theorem prover for
SMT problems.

Alternatives

Package Version Architecture Repository
cvc4-libs-1.6-2.fc29.i686.rpm 1.6 i686 Fedora
cvc4-libs-1.6-2.fc29.x86_64.rpm 1.6 x86_64 Fedora
cvc4-libs - - -

Requires

Name Value
ld-linux.so.2 -
ld-linux.so.2(GLIBC_2.3) -
libabc.so.0 -
libantlr3c.so -
libc.so.6(GLIBC_2.17) -
libcadical.so.0 -
libcryptominisat5.so.5.6 -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libgcc_s.so.1(GLIBC_2.0) -
libgmp.so.10 -
liblfscc.so.0 -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -
libstdc++.so.6 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(CXXABI_1.3.5) -
libstdc++.so.6(CXXABI_1.3.8) -
libstdc++.so.6(CXXABI_1.3.9) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.11) -
libstdc++.so.6(GLIBCXX_3.4.15) -
libstdc++.so.6(GLIBCXX_3.4.18) -
libstdc++.so.6(GLIBCXX_3.4.20) -
libstdc++.so.6(GLIBCXX_3.4.21) -
libstdc++.so.6(GLIBCXX_3.4.9) -
rtld(GNU_HASH) -

Provides

Name Value
cvc4-libs = 1.6-2.fc29
cvc4-libs(x86-32) = 1.6-2.fc29
libcvc4.so.5 -
libcvc4parser.so.5 -

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package cvc4-libs-1.6-2.fc29.i686.rpm
Source Package cvc4-1.6-2.fc29.src.rpm

Install Howto

Install cvc4-libs rpm package:

# dnf --refresh install cvc4-libs

Files

Path
/usr/lib/libcvc4.so.5
/usr/lib/libcvc4.so.5.0.0
/usr/lib/libcvc4parser.so.5
/usr/lib/libcvc4parser.so.5.0.0
/usr/lib/.build-id/
/usr/lib/.build-id/b3/da14fd5f8cec08be79e9f5fbfa6f7e6b5d8ec6
/usr/lib/.build-id/fc/c8aaa0afcad58a960f88bef92e099cd76fcd44
/usr/share/licenses/cvc4-libs/COPYING

Changelog

2018-07-12 - Fedora Release Engineering <releng@fedoraproject.org> - 1.6-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-10 - Jerry James <loganjerry@gmail.com> - 1.6-1
- New upstream release
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 1.5-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-02-01 - Jerry James <loganjerry@gmail.com> - 1.5-5
- Fix FTBFS with automake 1.5.1 (bz 1482152)
2017-08-02 - Fedora Release Engineering <releng@fedoraproject.org> - 1.5-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 1.5-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-07-21 - Kalev Lember <klember@redhat.com> - 1.5-2
- Rebuilt for Boost 1.64
2017-07-15 - Jerry James <loganjerry@gmail.com> - 1.5-1
- New upstream release
- Drop upstreamed patches: -signed, -boolean, -minisat
- Add -constant patch to fix undefined symbols in the JNI shared object
- Add cryptominisat4 support
2017-05-15 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4-15
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild
2017-03-03 - Jerry James <loganjerry@gmail.com> - 1.4-14
- Fix FTBFS (bz 1427891)

See Also

Package Description
cvechecker-3.8-5.fc29.i686.rpm Tool for compare packages installed in your system with CVE database
cvs-1.11.23-49.fc29.i686.rpm Concurrent Versions System
cvs-contrib-1.11.23-49.fc29.noarch.rpm Unsupported contributions collected by CVS developers
cvs-doc-1.11.23-49.fc29.noarch.rpm Additional documentation for Concurrent Versions System
cvs-inetd-1.11.23-49.fc29.noarch.rpm CVS server configuration for xinetd
cvs2cl-2.73-16.fc29.noarch.rpm Generate ChangeLogs from CVS working copies
cvsgraph-1.6.1-24.fc29.i686.rpm CVS/RCS repository grapher
cvsplot-1.7.4-20.fc29.noarch.rpm Collect statistics from CVS controlled files
cvsps-2.2-0.23.b1.fc29.i686.rpm Patchset tool for CVS
cvsutils-0.2.6-7.fc29.noarch.rpm CVS Utilities
cvsweb-3.0.6-22.fc29.noarch.rpm Web interface for CVS repositories
cwdaemon-0.10.2-6.fc29.i686.rpm Morse daemon for the parallel or serial port
cwiid-0.6.00-29.20100505gitfadf11e.fc26.i686.rpm Wiimote interface library
cwiid-devel-0.6.00-29.20100505gitfadf11e.fc26.i686.rpm Development files for cwiid
cwiid-python2-0.6.00-29.20100505gitfadf11e.fc26.i686.rpm Python binding for cwiid
Advertisement
Advertisement