How To Install cryptominisat on Fedora 36

In this tutorial we learn how to install cryptominisat in Fedora 36. cryptominisat is SAT solver

Introduction

In this tutorial we learn how to install cryptominisat on Fedora 36.

What is cryptominisat

CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT solver. Highlights - Instance simplification at every point of the search (inprocessing) - Over 100 configurable parameters to tune to specific needs - Collection of statistical data to MySQL database + javascript-based visualization of it - Clean C++ and python interfaces

We can use yum or dnf to install cryptominisat on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install cryptominisat.

Install 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 cryptominisat using dnf by running the following command:

sudo dnf -y install cryptominisat

Install 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 cryptominisat using yum by running the following command:

sudo yum -y install cryptominisat

How To Uninstall cryptominisat on Fedora 36

To uninstall only the cryptominisat package we can use the following command:

sudo dnf remove cryptominisat

cryptominisat Package Contents on Fedora 36

/usr/bin/cryptominisat5
/usr/bin/cryptominisat5_simple
/usr/lib/.build-id
/usr/lib/.build-id/53
/usr/lib/.build-id/53/e2fce8f5a9a73dc4e3aad7cef1bad4dbf82af9
/usr/lib/.build-id/f2
/usr/lib/.build-id/f2/405451dd48f31498ec080eb0e2af6421bb18f2
/usr/share/doc/cryptominisat
/usr/share/doc/cryptominisat/README.markdown
/usr/share/man/man1/cryptominisat5.1.gz
/usr/share/man/man1/cryptominisat5_simple.1.gz

References

Summary

In this tutorial we learn how to install cryptominisat on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).