How To Install python3-pycosat on Fedora 36

In this tutorial we learn how to install python3-pycosat in Fedora 36. python3-pycosat is Python bindings to picosat (a SAT solver)

Introduction

In this tutorial we learn how to install python3-pycosat on Fedora 36.

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 Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install python3-pycosat.

Install python3-pycosat on Fedora 36 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 Fedora 36 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 Fedora 36

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

sudo dnf remove python3-pycosat

python3-pycosat Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/0a
/usr/lib/.build-id/0a/503e8c01a8141236404b630e9f5940852e767d
/usr/lib64/python3.10/site-packages/__pycache__
/usr/lib64/python3.10/site-packages/__pycache__/test_pycosat.cpython-310.opt-1.pyc
/usr/lib64/python3.10/site-packages/__pycache__/test_pycosat.cpython-310.pyc
/usr/lib64/python3.10/site-packages/pycosat-0.6.3-py3.10.egg-info
/usr/lib64/python3.10/site-packages/pycosat-0.6.3-py3.10.egg-info/PKG-INFO
/usr/lib64/python3.10/site-packages/pycosat-0.6.3-py3.10.egg-info/SOURCES.txt
/usr/lib64/python3.10/site-packages/pycosat-0.6.3-py3.10.egg-info/dependency_links.txt
/usr/lib64/python3.10/site-packages/pycosat-0.6.3-py3.10.egg-info/top_level.txt
/usr/lib64/python3.10/site-packages/pycosat.cpython-310-x86_64-linux-gnu.so
/usr/lib64/python3.10/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 Fedora 36 using yum and [dnf]((/fedora/36/dnf/).