How To Install picosat-devel on CentOS 7
Introduction
In this tutorial we learn how to install picosat-devel
on CentOS 7.
What is picosat-devel
Headers and other development files for PicoSAT.
We can use yum
or dnf
to install picosat-devel
on CentOS 7. In this tutorial we discuss both methods but you only need to choose one of method to install picosat-devel.
Install picosat-devel on CentOS 7 Using yum
Update yum database with yum
using the following command.
sudo yum makecache
After updating yum database, We can install picosat-devel
using yum
by running the following command:
sudo yum -y install picosat-devel
Install picosat-devel on CentOS 7 Using dnf
If you don’t have dnf installed you can install DNF on CentOS 7 first.
Update yum database with dnf
using the following command.
sudo dnf makecache
After updating yum database, We can install picosat-devel
using dnf
by running the following command:
sudo dnf -y install picosat-devel
How To Uninstall picosat-devel on CentOS 7
To uninstall only the picosat-devel
package we can use the following command:
sudo dnf remove picosat-devel
References
Summary
In this tutorial we learn how to install picosat-devel
on CentOS 7 using yum
and dnf
.