How To Install cryptominisat-devel on Fedora 36
Introduction
In this tutorial we learn how to install cryptominisat-devel on Fedora 36.
What is cryptominisat-devel
Header files for developing applications that use cryptominisat.
We can use yum or dnf to install cryptominisat-devel on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install cryptominisat-devel.
Install cryptominisat-devel 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 cryptominisat-devel using dnf by running the following command:
sudo dnf -y install cryptominisat-devel
Install cryptominisat-devel 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 cryptominisat-devel using yum by running the following command:
sudo yum -y install cryptominisat-devel
How To Uninstall cryptominisat-devel on Fedora 36
To uninstall only the cryptominisat-devel package we can use the following command:
sudo dnf remove cryptominisat-devel
cryptominisat-devel Package Contents on Fedora 36
/usr/include/cryptominisat5
/usr/include/cryptominisat5/cryptominisat.h
/usr/include/cryptominisat5/cryptominisat_c.h
/usr/include/cryptominisat5/dimacsparser.h
/usr/include/cryptominisat5/solvertypesmini.h
/usr/include/cryptominisat5/streambuffer.h
/usr/lib/cmake/cryptominisat5
/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake
/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
/usr/lib/libcryptominisat5.so
References
Summary
In this tutorial we learn how to install cryptominisat-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
title: “How To Install cryptominisat-devel on Fedora 36” linkTitle: “cryptominisat-devel” type: “docs” description: “In this tutorial we learn how to install cryptominisat-devel in Fedora 36. cryptominisat-devel is Header files for developing with cryptominisat” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/cryptominisat-devel-featured.png
Introduction
In this tutorial we learn how to install cryptominisat-devel on Fedora 36.
What is cryptominisat-devel
Header files for developing applications that use cryptominisat.
We can use yum or dnf to install cryptominisat-devel on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install cryptominisat-devel.
Install cryptominisat-devel 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 cryptominisat-devel using dnf by running the following command:
sudo dnf -y install cryptominisat-devel
Install cryptominisat-devel 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 cryptominisat-devel using yum by running the following command:
sudo yum -y install cryptominisat-devel
How To Uninstall cryptominisat-devel on Fedora 36
To uninstall only the cryptominisat-devel package we can use the following command:
sudo dnf remove cryptominisat-devel
cryptominisat-devel Package Contents on Fedora 36
/usr/include/cryptominisat5
/usr/include/cryptominisat5/cryptominisat.h
/usr/include/cryptominisat5/cryptominisat_c.h
/usr/include/cryptominisat5/dimacsparser.h
/usr/include/cryptominisat5/solvertypesmini.h
/usr/include/cryptominisat5/streambuffer.h
/usr/lib64/cmake/cryptominisat5
/usr/lib64/cmake/cryptominisat5/cryptominisat5Config.cmake
/usr/lib64/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
/usr/lib64/cmake/cryptominisat5/cryptominisat5Targets.cmake
/usr/lib64/libcryptominisat5.so
References
Summary
In this tutorial we learn how to install cryptominisat-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
