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


Advertisement

Description

cvc4-java - Java interface to cvc4

Property Value
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

Package Version Architecture Repository
cvc4-java-1.4-11.fc25.i686.rpm 1.4 i686 Fedora
cvc4-java-1.4-11.fc25.i686.rpm 1.4 i686 Fedora
cvc4-java - - -

Requires

Name Value
cvc4-libs(x86-64) = 1.4-11.fc25
java-headless -
jpackage-utils -
ld-linux-x86-64.so.2()(64bit) -
ld-linux-x86-64.so.2(GLIBC_2.3)(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libcvc4.so.3()(64bit) -
libcvc4parser.so.3()(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libgmp.so.10()(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.21)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
rtld(GNU_HASH) -

Provides

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

Download

Type URL
Binary Package cvc4-java-1.4-11.fc25.x86_64.rpm
Source Package cvc4-1.4-11.fc25.src.rpm

Install Howto

Install the cvc4-java rpm package:

# dnf install cvc4-java

Files

Path
/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

See cvc4-1.4-11.fc25.x86_64.rpm changelog.

See Also

Package Description
cvc4-libs-1.4-11.fc25.i686.rpm Library containing an automatic theorem prover for SMT problems
cvc4-libs-1.4-11.fc25.x86_64.rpm Library containing an automatic theorem prover for SMT problems
cvs-1.11.23-40.fc24.x86_64.rpm Concurrent Versions System
cvs-contrib-1.11.23-40.fc24.noarch.rpm Unsupported contributions collected by CVS developers
cvs-doc-1.11.23-40.fc24.noarch.rpm Additional documentation for Concurrent Versions System
cvs-inetd-1.11.23-40.fc24.noarch.rpm CVS server configuration for xinetd
cvs2cl-2.73-11.fc24.noarch.rpm Generate ChangeLogs from CVS working copies
cvsgraph-1.6.1-18.fc24.x86_64.rpm CVS/RCS repository grapher
cvsplot-1.7.4-16.fc24.noarch.rpm Collect statistics from CVS controlled files
cvsps-2.2-0.17.b1.fc24.x86_64.rpm Patchset tool for CVS
cvsutils-0.2.6-3.fc24.noarch.rpm CVS Utilities
cvsweb-3.0.6-18.fc24.noarch.rpm Web interface for CVS repositories
cwdaemon-0.10.2-1.fc24.x86_64.rpm Morse daemon for the parallel or serial port
cwiid-0.6.00-28.20100505gitfadf11e.fc25.i686.rpm Wiimote interface library
cwiid-0.6.00-28.20100505gitfadf11e.fc25.x86_64.rpm Wiimote interface library
Advertisement
Advertisement