cvc4-libs-1.4-11.fc25.i686.rpm


Advertisement

Description

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

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: cvc4-libs
Package version: 1.4
Package release: 11.fc25
Package architecture: i686
Package type: rpm
Installed size: 10.56 MB
Download size: 3.33 MB
Official Mirror: dl.fedoraproject.org
Library containing the core of the cvc4 automatic theorem prover for SMT problems.

Alternatives

Provides

  • cvc4-libs = 1.4-11.fc25
  • cvc4-libs(x86-32) = 1.4-11.fc25
  • libcvc4.so.3
  • libcvc4parser.so.3

    Download

    Install Howto

    Install the cvc4-libs rpm package:

    # dnf install cvc4-libs

    Files

    • /usr/lib/libcvc4.so.3
    • /usr/lib/libcvc4.so.3.0.0
    • /usr/lib/libcvc4parser.so.3
    • /usr/lib/libcvc4parser.so.3.0.0
    • /usr/share/licenses/cvc4-libs/COPYING

    Changelog

    2016-05-17 - Jonathan Wakely <jwakely@redhat.com> - 1.4-11 - Rebuilt for linker errors in boost (#1331983)

    2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 1.4-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

    2016-01-15 - Jonathan Wakely <jwakely@redhat.com> - 1.4-9 - Rebuilt for Boost 1.60

    2015-08-27 - Jonathan Wakely <jwakely@redhat.com> - 1.4-8 - Rebuilt for Boost 1.59

    2015-07-29 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4-7 - Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159

    2015-07-22 - David Tardon <dtardon@redhat.com> - 1.4-6 - rebuild for Boost 1.58

    2015-06-17 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

    2015-05-02 - Kalev Lember <kalevlember@gmail.com> - 1.4-4 - Rebuilt for GCC 5 C++11 ABI change

    2015-03-20 - Jerry James <loganjerry@gmail.com> - 1.4-3 - Don't use perftools at all due to random weirdness on multiple platforms - Also Obsoletes/Provides lfsc-devel

    2015-03-11 - Jerry James <loganjerry@gmail.com> - 1.4-2 - Add -boolean, -minisat, and -signed patches to fix test failures - Fix boost detection with g++ 5.0 - Fix access to an uninitialized variable - Help the documentation generator find COPYING - Build with -fsigned-char to fix the arm build - Prevent rebuilds while running checks - Remove i686 from have_perftools due to test failures

    Advertisement
    Advertisement