How To Install python3-cryptominisat on Fedora 36
Introduction
In this tutorial we learn how to install python3-cryptominisat
on Fedora 36.
What is python3-cryptominisat
Python 3 interface to cryptominisat.
We can use yum
or dnf
to install python3-cryptominisat
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install python3-cryptominisat.
Install python3-cryptominisat 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-cryptominisat
using dnf
by running the following command:
sudo dnf -y install python3-cryptominisat
Install python3-cryptominisat 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-cryptominisat
using yum
by running the following command:
sudo yum -y install python3-cryptominisat
How To Uninstall python3-cryptominisat on Fedora 36
To uninstall only the python3-cryptominisat
package we can use the following command:
sudo dnf remove python3-cryptominisat
python3-cryptominisat Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/37
/usr/lib/.build-id/37/242538292c9ec43a6c64521bbb0e57659a6c8c
/usr/lib64/python3.10/site-packages/pycryptosat-0.2.0-py3.10.egg-info
/usr/lib64/python3.10/site-packages/pycryptosat.cpython-310-x86_64-linux-gnu.so
/usr/share/doc/python3-cryptominisat
/usr/share/doc/python3-cryptominisat/README.rst
/usr/share/licenses/python3-cryptominisat
/usr/share/licenses/python3-cryptominisat/LICENSE
References
Summary
In this tutorial we learn how to install python3-cryptominisat
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).