How To Install python3-pycosat on Rocky Linux 8

In this tutorial we learn how to install python3-pycosat on Rocky Linux 8. python3-pycosat is Python bindings to picosat (a SAT solver)

Introduction

In this tutorial we learn how to install python3-pycosat on Rocky Linux 8.

What is `python3-pycosat`

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.

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

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

sudo dnf -y install python3-pycosat

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

sudo yum -y install python3-pycosat

How To Uninstall python3-pycosat on Rocky Linux 8

To uninstall only the python3-pycosat package we can use the following command:

sudo dnf remove python3-pycosat

python3-pycosat Package Contents on Rocky Linux 8

/usr/lib/.build-id
/usr/lib/.build-id/cf
/usr/lib/.build-id/cf/820fdf5064b473786fd959cff465fd4c4e405f
/usr/lib64/python3.6/site-packages/__pycache__
/usr/lib64/python3.6/site-packages/__pycache__/test_pycosat.cpython-36.opt-1.pyc
/usr/lib64/python3.6/site-packages/__pycache__/test_pycosat.cpython-36.pyc
/usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info
/usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/PKG-INFO
/usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/SOURCES.txt
/usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/dependency_links.txt
/usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/top_level.txt
/usr/lib64/python3.6/site-packages/pycosat.cpython-36m-x86_64-linux-gnu.so
/usr/lib64/python3.6/site-packages/test_pycosat.py
/usr/share/doc/python3-pycosat
/usr/share/doc/python3-pycosat/CHANGELOG
/usr/share/doc/python3-pycosat/README.rst
/usr/share/licenses/python3-pycosat
/usr/share/licenses/python3-pycosat/LICENSE

References

python3-pycosat website

Summary

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