How To Install java-z3 on Fedora 36

In this tutorial we learn how to install java-z3 in Fedora 36. java-z3 is Java interface to z3

Introduction

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

What is `java-z3`

Java interface to z3.

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

Install java-z3 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 java-z3 using dnf by running the following command:

sudo dnf -y install java-z3

Install java-z3 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 java-z3 using yum by running the following command:

sudo yum -y install java-z3

How To Uninstall java-z3 on Fedora 36

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

sudo dnf remove java-z3

java-z3 Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/bf
/usr/lib/.build-id/bf/8c8a7847d9fe0338a462fbd7c4be410b543d37
/usr/lib/java/com.microsoft.z3-4.8.15.0.jar
/usr/lib/java/com.microsoft.z3.jar
/usr/lib64/z3
/usr/lib64/z3/com.microsoft.z3.jar
/usr/lib64/z3/libz3java.so

References

java-z3 website

Summary

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