How To Install minisat2-devel on Fedora 36
Introduction
In this tutorial we learn how to install minisat2-devel
on Fedora 36.
What is minisat2-devel
The minisat2-devel package contains libraries and header files for developing applications that use minisat2.
We can use yum
or dnf
to install minisat2-devel
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install minisat2-devel.
Install minisat2-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 minisat2-devel
using dnf
by running the following command:
sudo dnf -y install minisat2-devel
Install minisat2-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 minisat2-devel
using yum
by running the following command:
sudo yum -y install minisat2-devel
How To Uninstall minisat2-devel on Fedora 36
To uninstall only the minisat2-devel
package we can use the following command:
sudo dnf remove minisat2-devel
minisat2-devel Package Contents on Fedora 36
/usr/include/minisat
/usr/include/minisat/core
/usr/include/minisat/core/Dimacs.h
/usr/include/minisat/core/Solver.h
/usr/include/minisat/core/SolverTypes.h
/usr/include/minisat/mtl
/usr/include/minisat/mtl/Alg.h
/usr/include/minisat/mtl/Alloc.h
/usr/include/minisat/mtl/Heap.h
/usr/include/minisat/mtl/IntTypes.h
/usr/include/minisat/mtl/Map.h
/usr/include/minisat/mtl/Queue.h
/usr/include/minisat/mtl/Sort.h
/usr/include/minisat/mtl/Vec.h
/usr/include/minisat/mtl/XAlloc.h
/usr/include/minisat/simp
/usr/include/minisat/simp/SimpSolver.h
/usr/include/minisat/utils
/usr/include/minisat/utils/Options.h
/usr/include/minisat/utils/ParseUtils.h
/usr/include/minisat/utils/System.h
/usr/lib/libminisat.so
References
Summary
In this tutorial we learn how to install minisat2-devel
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
title: “How To Install minisat2-devel on Fedora 36” linkTitle: “minisat2-devel” type: “docs” description: “In this tutorial we learn how to install minisat2-devel in Fedora 36. minisat2-devel is Development files for minisat2” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/minisat2-devel-featured.png
Introduction
In this tutorial we learn how to install minisat2-devel
on Fedora 36.
What is minisat2-devel
The minisat2-devel package contains libraries and header files for developing applications that use minisat2.
We can use yum
or dnf
to install minisat2-devel
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install minisat2-devel.
Install minisat2-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 minisat2-devel
using dnf
by running the following command:
sudo dnf -y install minisat2-devel
Install minisat2-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 minisat2-devel
using yum
by running the following command:
sudo yum -y install minisat2-devel
How To Uninstall minisat2-devel on Fedora 36
To uninstall only the minisat2-devel
package we can use the following command:
sudo dnf remove minisat2-devel
minisat2-devel Package Contents on Fedora 36
/usr/include/minisat
/usr/include/minisat/core
/usr/include/minisat/core/Dimacs.h
/usr/include/minisat/core/Solver.h
/usr/include/minisat/core/SolverTypes.h
/usr/include/minisat/mtl
/usr/include/minisat/mtl/Alg.h
/usr/include/minisat/mtl/Alloc.h
/usr/include/minisat/mtl/Heap.h
/usr/include/minisat/mtl/IntTypes.h
/usr/include/minisat/mtl/Map.h
/usr/include/minisat/mtl/Queue.h
/usr/include/minisat/mtl/Sort.h
/usr/include/minisat/mtl/Vec.h
/usr/include/minisat/mtl/XAlloc.h
/usr/include/minisat/simp
/usr/include/minisat/simp/SimpSolver.h
/usr/include/minisat/utils
/usr/include/minisat/utils/Options.h
/usr/include/minisat/utils/ParseUtils.h
/usr/include/minisat/utils/System.h
/usr/lib64/libminisat.so
References
Summary
In this tutorial we learn how to install minisat2-devel
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).