How To Install picosat-devel on Rocky Linux 8

In this tutorial we learn how to install picosat-devel on Rocky Linux 8. picosat-devel is Development files for PicoSAT

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.