How To Install picosat-R on Rocky Linux 8

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

Introduction

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

What is `picosat-R`

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. This version of the library is built for use with R projects.

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

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

sudo dnf -y install picosat-R

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

sudo yum -y install picosat-R

How To Uninstall picosat-R on Rocky Linux 8

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

sudo dnf remove picosat-R

picosat-R Package Contents on Rocky Linux 8

/usr/lib/.build-id
/usr/lib/.build-id/6a
/usr/lib/.build-id/6a/a4089af7b779e2c9ebcb7e9b9bdd8d7dcda3e7
/usr/lib64/libpicosat-R.so.0
/usr/lib64/libpicosat-R.so.0.0.965
/usr/share/doc/picosat-R
/usr/share/doc/picosat-R/NEWS
/usr/share/licenses/picosat-R
/usr/share/licenses/picosat-R/LICENSE

References

picosat-R website

Summary

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