How To Install minisat2 on Fedora 36
Introduction
In this tutorial we learn how to install minisat2
on Fedora 36.
What is minisat2
MiniSat is a minimalistic, open-source Boolean satisfiability problem (SAT) solver, developed to help researchers and developers alike to get started on SAT. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the “crafted” categories of the SAT 2005 competition. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given expression true, if the expression is written with only AND, OR, NOT, parentheses, and boolean variables. If the expression is satisfiable, MiniSAT can also produce a set of assignments that make the expression true. Although the problem is NP-complete, SAT solvers (like this one) are often able to decide this problem in a reasonable time frame.
We can use yum
or dnf
to install minisat2
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install minisat2.
Install minisat2 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
using dnf
by running the following command:
sudo dnf -y install minisat2
Install minisat2 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
using yum
by running the following command:
sudo yum -y install minisat2
How To Uninstall minisat2 on Fedora 36
To uninstall only the minisat2
package we can use the following command:
sudo dnf remove minisat2
minisat2 Package Contents on Fedora 36
/usr/bin/minisat
/usr/lib/.build-id
/usr/lib/.build-id/15
/usr/lib/.build-id/15/ceb7eee37fb84a34d0af02b4cff8bb2192969b
/usr/share/doc/minisat2
/usr/share/doc/minisat2/ReleaseNotes-2.2.0.txt
/usr/share/doc/minisat2/minisat-user-guide.html
/usr/share/doc/minisat2/minisat2-test.in
/usr/share/doc/minisat2/minisat2-test.out
/usr/share/man/man1/minisat.1.gz
References
Summary
In this tutorial we learn how to install minisat2
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).