How To Install picosat-libs on Rocky Linux 8

In this tutorial we learn how to install picosat-libs on Rocky Linux 8. picosat-libs is A SAT solver library

Introduction

In this tutorial we learn how to install picosat-libs on Rocky Linux 8.

What is `picosat-libs`

The PicoSAT library, which contains routines that solve the SAT problem. The library has a simple API which is similar to that of previous solvers by the same authors.

We can use yum or dnf to install picosat-libs on Rocky Linux 8. In this tutorial we discuss both methods but you only need to choose one of method to install picosat-libs.

Install picosat-libs 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-libs using dnf by running the following command:

sudo dnf -y install picosat-libs

Install picosat-libs 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-libs using yum by running the following command:

sudo yum -y install picosat-libs

How To Uninstall picosat-libs on Rocky Linux 8

To uninstall only the picosat-libs package we can use the following command:

sudo dnf remove picosat-libs

picosat-libs Package Contents on Rocky Linux 8

/usr/lib/.build-id
/usr/lib/.build-id/21
/usr/lib/.build-id/21/47c43ae1a5dd5562a5f3c602eb17e80ba92135
/usr/lib/.build-id/b5
/usr/lib/.build-id/b5/af2ba8a75c0555b0ddbcdd4a1e4a89dfaa99e1
/usr/lib64/libpicosat-trace.so.0
/usr/lib64/libpicosat-trace.so.0.0.965
/usr/lib64/libpicosat.so.0
/usr/lib64/libpicosat.so.0.0.965
/usr/share/doc/picosat-libs
/usr/share/doc/picosat-libs/NEWS
/usr/share/licenses/picosat-libs
/usr/share/licenses/picosat-libs/LICENSE

References

picosat-libs website

Summary

In this tutorial we learn how to install picosat-libs on Rocky Linux 8 using yum and dnf.