How To Install cvc4-java on Fedora 36

Introduction

In this tutorial we learn how to install cvc4-java on Fedora 36.

What is cvc4-java

Java interface to cvc4.

We can use yum or dnf to install cvc4-java on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install cvc4-java.

Install cvc4-java on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install cvc4-java using dnf by running the following command:

sudo dnf -y install cvc4-java

Install cvc4-java on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install cvc4-java using yum by running the following command:

sudo yum -y install cvc4-java

How To Uninstall cvc4-java on Fedora 36

To uninstall only the cvc4-java package we can use the following command:

sudo dnf remove cvc4-java

cvc4-java Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/79
/usr/lib/.build-id/79/bb104fc807bda263322f41ec7cfbf6f6c2e751
/usr/lib/java/cvc4
/usr/lib/java/cvc4/libcvc4jni.so
/usr/lib64/libcvc4jni.so
/usr/share/java/cvc4
/usr/share/java/cvc4/CVC4-1.8.0.jar
/usr/share/java/cvc4/CVC4.jar

References

• cvc4-java website

Summary

In this tutorial we learn how to install cvc4-java on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).