How To Install z3 on Fedora 36

In this tutorial we learn how to install z3 in Fedora 36. z3 is Satisfiability Modulo Theories (SMT) solver

Introduction

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

What is `z3`

Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.

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

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

sudo dnf -y install z3

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

sudo yum -y install z3

How To Uninstall z3 on Fedora 36

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

sudo dnf remove z3

z3 Package Contents on Fedora 36

/usr/bin/z3
/usr/lib/.build-id
/usr/lib/.build-id/a4
/usr/lib/.build-id/a4/315ebc851ffd5e3e94ccce3fffd25bcbfcce8f
/usr/share/doc/z3
/usr/share/doc/z3/README.md
/usr/share/doc/z3/RELEASE_NOTES
/usr/share/man/man1/z3.1.gz

References

z3 website

Summary

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