cvc4-java-1.4-11.fc25.x86_64.rpm


Advertisement

Description

cvc4-java - Java interface to cvc4

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: cvc4-java
Package version: 1.4
Package release: 11.fc25
Package architecture: x86_64
Package type: rpm
Installed size: 1.55 MB
Download size: 535.39 KB
Official Mirror: dl.fedoraproject.org
Java interface to cvc4.

Alternatives

Provides

  • cvc4-java = 1.4-11.fc25
  • cvc4-java(x86-64) = 1.4-11.fc25
  • libcvc4jni.so.3()(64bit)

    Download

    Install Howto

    Install the cvc4-java rpm package:

    # dnf install cvc4-java

    Files

    • /usr/lib/java/cvc4/libcvc4jni.so
    • /usr/lib/java/cvc4/libcvc4jni.so.3
    • /usr/lib/java/cvc4/libcvc4jni.so.3.0.0
    • /usr/share/java/CVC4.jar

    Changelog

    Advertisement
    Advertisement