How To Install yices-devel on Fedora 36
Introduction
In this tutorial we learn how to install yices-devel on Fedora 36.
What is yices-devel
This package contains the header files necessary for developing programs which use yices.
We can use yum or dnf to install yices-devel on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install yices-devel.
Install yices-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 yices-devel using dnf by running the following command:
sudo dnf -y install yices-devel
Install yices-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 yices-devel using yum by running the following command:
sudo yum -y install yices-devel
How To Uninstall yices-devel on Fedora 36
To uninstall only the yices-devel package we can use the following command:
title: "How To Install yices-devel on Fedora 36"
sudo dnf remove yices-devel
linkTitle: "yices-devel"
type: “docs”
yices-devel Package Contents on Fedora 36
description: “In this tutorial we learn how to install yices-devel in Fedora 36. yices-devel is Development files for yices”
date: "2022-08-17"
lastmod: "2022-08-17"
#image: /images/fedora/36/yices-devel-featured.png
---
## Introduction
In this tutorial we learn how to install `yices-devel` on Fedora 36.
### What is `yices-devel`
> This package contains the header files necessary for developing programs which use yices.
We can use `yum` or `dnf` to install `yices-devel` on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install yices-devel.
## Install yices-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 yices-devel using dnf by running the following command:
sudo dnf -y install yices-devel
Install yices-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 yices-devel using yum by running the following command:
sudo yum -y install yices-devel
How To Uninstall yices-devel on Fedora 36
To uninstall only the yices-devel package we can use the following command:
sudo dnf remove yices-devel
yices-devel Package Contents on Fedora 36
/usr/include/yices
/usr/include/yices/yices.h
/usr/include/yices/yices_exit_codes.h
/usr/include/yices/yices_limits.h
/usr/include/yices/yices_types.h
/usr/lib/libyices.so
References
Summary
In this tutorial we learn how to install yices-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
/usr/include/yices /usr/include/yices/yices.h /usr/include/yices/yices_exit_codes.h /usr/include/yices/yices_limits.h /usr/include/yices/yices_types.h /usr/lib64/libyices.so
## References
* [yices-devel website](http://yices.csl.sri.com/)
## Summary
In this tutorial we learn how to install `yices-devel` on [Fedora 36](/fedora/36/) using [yum](/fedora/36/yum/) and [dnf]((/fedora/36/dnf/).