How To Install python3-z3 on Fedora 36

In this tutorial we learn how to install python3-z3 in Fedora 36. python3-z3 is Python 3 interface to z3

Introduction

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

What is `python3-z3`

Python 3 interface to z3.

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

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

sudo dnf -y install python3-z3

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

sudo yum -y install python3-z3

How To Uninstall python3-z3 on Fedora 36

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

sudo dnf remove python3-z3

python3-z3 Package Contents on Fedora 36

/usr/lib/python3.10/site-packages/z3
/usr/lib/python3.10/site-packages/z3/__init__.py
/usr/lib/python3.10/site-packages/z3/__pycache__
/usr/lib/python3.10/site-packages/z3/__pycache__/__init__.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/__init__.cpython-310.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3.cpython-310.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3consts.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3consts.cpython-310.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3core.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3core.cpython-310.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3num.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3num.cpython-310.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3poly.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3poly.cpython-310.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3printer.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3printer.cpython-310.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3rcf.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3rcf.cpython-310.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3test.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3test.cpython-310.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3types.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3types.cpython-310.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3util.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/z3/__pycache__/z3util.cpython-310.pyc
/usr/lib/python3.10/site-packages/z3/z3.py
/usr/lib/python3.10/site-packages/z3/z3consts.py
/usr/lib/python3.10/site-packages/z3/z3core.py
/usr/lib/python3.10/site-packages/z3/z3num.py
/usr/lib/python3.10/site-packages/z3/z3poly.py
/usr/lib/python3.10/site-packages/z3/z3printer.py
/usr/lib/python3.10/site-packages/z3/z3rcf.py
/usr/lib/python3.10/site-packages/z3/z3test.py
/usr/lib/python3.10/site-packages/z3/z3types.py
/usr/lib/python3.10/site-packages/z3/z3util.py

References

python3-z3 website

Summary

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