How To Install z3-devel on Fedora 36
Introduction
In this tutorial we learn how to install z3-devel on Fedora 36.
What is z3-devel
Header files for build applications that use z3.
We can use yum or dnf to install z3-devel on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install z3-devel.
Install z3-devel 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-devel using dnf by running the following command:
sudo dnf -y install z3-devel
Install z3-devel 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-devel using yum by running the following command:
sudo yum -y install z3-devel
How To Uninstall z3-devel on Fedora 36
To uninstall only the z3-devel package we can use the following command:
sudo dnf remove z3-devel
z3-devel Package Contents on Fedora 36
---
title: "How To Install z3-devel on Fedora 36"
linkTitle: "z3-devel"
type: "docs"
description: "In this tutorial we learn how to install z3-devel in Fedora 36. z3-devel is Header files for build applications that use z3"
date: "2022-08-17"
lastmod: "2022-08-17"
#image: /images/fedora/36/z3-devel-featured.png
---
## Introduction
In this tutorial we learn how to install `z3-devel` on Fedora 36.
### What is `z3-devel`
> Header files for build applications that use z3.
We can use `yum` or `dnf` to install `z3-devel` on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install z3-devel.
/usr/include/z3
/usr/include/z3/z3++.h
/usr/include/z3/z3.h
/usr/include/z3/z3_algebraic.h
/usr/include/z3/z3_api.h
/usr/include/z3/z3_ast_containers.h
/usr/include/z3/z3_fixedpoint.h
/usr/include/z3/z3_fpa.h
/usr/include/z3/z3_macros.h
/usr/include/z3/z3_optimization.h
/usr/include/z3/z3_polynomial.h
/usr/include/z3/z3_rcf.h
/usr/include/z3/z3_spacer.h
/usr/include/z3/z3_v1.h
/usr/include/z3/z3_version.h
/usr/lib64/cmake/z3
/usr/lib64/cmake/z3/Z3Config.cmake
/usr/lib64/cmake/z3/Z3ConfigVersion.cmake
/usr/lib64/cmake/z3/Z3Targets-relwithdebinfo.cmake
/usr/lib64/cmake/z3/Z3Targets.cmake
/usr/lib64/libz3.so
/usr/lib64/pkgconfig/z3.pc
## Install z3-devel on Fedora 36 Using dnf
Update yum database with `dnf` using the following command.
```bash
sudo dnf makecache --refresh
After updating yum database, We can install z3-devel using dnf by running the following command:
sudo dnf -y install z3-devel
Install z3-devel 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-devel using yum by running the following command:
sudo yum -y install z3-devel
How To Uninstall z3-devel on Fedora 36
To uninstall only the z3-devel package we can use the following command:
sudo dnf remove z3-devel
## z3-devel Package Contents on Fedora 36
## References
```bash
* [z3-devel website](https://github.com/Z3Prover/z3)
## Summary
In this tutorial we learn how to install `z3-devel` on [Fedora 36](/fedora/36/) using [yum](/fedora/36/yum/) and [dnf]((/fedora/36/dnf/).
/usr/include/z3
/usr/include/z3/z3++.h
/usr/include/z3/z3.h
/usr/include/z3/z3_algebraic.h
/usr/include/z3/z3_api.h
/usr/include/z3/z3_ast_containers.h
/usr/include/z3/z3_fixedpoint.h
/usr/include/z3/z3_fpa.h
/usr/include/z3/z3_macros.h
/usr/include/z3/z3_optimization.h
/usr/include/z3/z3_polynomial.h
/usr/include/z3/z3_rcf.h
/usr/include/z3/z3_spacer.h
/usr/include/z3/z3_v1.h
/usr/include/z3/z3_version.h
/usr/lib/cmake/z3
/usr/lib/cmake/z3/Z3Config.cmake
/usr/lib/cmake/z3/Z3ConfigVersion.cmake
/usr/lib/cmake/z3/Z3Targets-relwithdebinfo.cmake
/usr/lib/cmake/z3/Z3Targets.cmake
/usr/lib/libz3.so
/usr/lib/pkgconfig/z3.pc
References
Summary
In this tutorial we learn how to install z3-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
