How To Install picosat-devel on Rocky Linux 8
Introduction
In this tutorial we learn how to install picosat-devel on Rocky Linux 8.
What is picosat-devel
Headers and other development files for PicoSAT.
We can use yum or dnf to install picosat-devel on Rocky Linux 8. In this tutorial we discuss both methods but you only need to choose one of method to install picosat-devel.
Install picosat-devel on Rocky Linux 8 Using dnf
Update yum database with dnf using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install picosat-devel using dnf by running the following command:
sudo dnf -y install picosat-devel
Install picosat-devel on Rocky Linux 8 Using yum
Update yum database with yum using the following command.
sudo yum makecache --refresh
After updating yum database, We can install picosat-devel using yum by running the following command:
sudo yum -y install picosat-devel
How To Uninstall picosat-devel on Rocky Linux 8
To uninstall only the picosat-devel package we can use the following command:
sudo dnf remove picosat-devel
picosat-devel Package Contents on Rocky Linux 8
/usr/include/picosat.h
/usr/lib64/libpicosat-R.so
/usr/lib64/libpicosat-trace.so
/usr/lib64/libpicosat.so
References
Summary
In this tutorial we learn how to install picosat-devel on Rocky Linux 8 using yum and dnf.