How To Install picosat-R on CentOS 7
Introduction
In this tutorial we learn how to install picosat-R on CentOS 7.
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 CentOS 7. In this tutorial we discuss both methods but you only need to choose one of method to install picosat-R.
Install picosat-R 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-R using yum by running the following command:
sudo yum -y install picosat-R
Install picosat-R 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-R using dnf by running the following command:
sudo dnf -y install picosat-R
How To Uninstall picosat-R on CentOS 7
To uninstall only the picosat-R package we can use the following command:
sudo dnf remove picosat-R
References
Summary
In this tutorial we learn how to install picosat-R on CentOS 7 using yum and dnf.
