cvc4-libs-1.4-11.fc25.x86_64.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: x86_64
Package type: rpm
Installed size: 10.39 MB
Download size: 3.17 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-64) = 1.4-11.fc25
  • libcvc4.so.3()(64bit)
  • libcvc4parser.so.3()(64bit)

    Download

    Install Howto

    Install the cvc4-libs rpm package:

    # dnf install cvc4-libs

    Files

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

    Changelog

    Advertisement
    Advertisement