How To Install kissat-libs on Fedora 36
Introduction
In this tutorial we learn how to install kissat-libs on Fedora 36.
What is kissat-libs
KISSAT is a “keep it simple and clean bare metal SAT solver” written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation. Coincidentally ‘kissat’ also means ‘cats’ in Finnish. This package contains KISSAT as a library, for use in applications that need a SAT solver.
We can use yum or dnf to install kissat-libs on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install kissat-libs.
Install kissat-libs 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 kissat-libs using dnf by running the following command:
sudo dnf -y install kissat-libs
Install kissat-libs 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 kissat-libs using yum by running the following command:
sudo yum -y install kissat-libs
How To Uninstall kissat-libs on Fedora 36
To uninstall only the kissat-libs package we can use the following command:
sudo dnf remove kissat-libs
kissat-libs Package Contents on Fedora 36
---
title: "How To Install kissat-libs on Fedora 36"
linkTitle: "kissat-libs"
type: "docs"
description: "In this tutorial we learn how to install kissat-libs in Fedora 36. kissat-libs is Keep It Simple SAT solver library"
date: "2022-08-17"
lastmod: "2022-08-17"
#image: /images/fedora/36/kissat-libs-featured.png
---
## Introduction
In this tutorial we learn how to install `kissat-libs` on Fedora 36.
### What is `kissat-libs`
> KISSAT is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation. Coincidentally 'kissat' also means 'cats' in Finnish. This package contains KISSAT as a library, for use in applications that need a SAT solver.
We can use `yum` or `dnf` to install `kissat-libs` on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install kissat-libs.
## Install kissat-libs on Fedora 36 Using dnf
Update yum database with `dnf` using the following command.
```bash
sudo dnf makecache --refresh
After updating yum database, We can install kissat-libs using dnf by running the following command:
sudo dnf -y install kissat-libs
/usr/lib/.build-id
/usr/lib/.build-id/07
/usr/lib/.build-id/07/7309e7513f4e92a3c5f744a06a47043b99e18e
/usr/lib64/libkissat.so.0
/usr/lib64/libkissat.so.0.0.0
/usr/share/doc/kissat-libs
/usr/share/doc/kissat-libs/README.md
/usr/share/licenses/kissat-libs
/usr/share/licenses/kissat-libs/LICENSE
Install kissat-libs on Fedora 36 Using yum
Update yum database with `yum` using the following command.
## References
```bash
* [kissat-libs website](http://fmv.jku.at/kissat/)
sudo yum makecache --refresh
Summary
After updating yum database, We can install kissat-libs using yum by running the following command:
In this tutorial we learn how to install kissat-libs on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
sudo yum -y install kissat-libs
How To Uninstall kissat-libs on Fedora 36
To uninstall only the kissat-libs package we can use the following command:
sudo dnf remove kissat-libs
kissat-libs Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/77
/usr/lib/.build-id/77/b80867f29411b19e8c2c30a2212a4abfa569ba
/usr/lib/libkissat.so.0
/usr/lib/libkissat.so.0.0.0
/usr/share/doc/kissat-libs
/usr/share/doc/kissat-libs/README.md
/usr/share/licenses/kissat-libs
/usr/share/licenses/kissat-libs/LICENSE
References
Summary
In this tutorial we learn how to install kissat-libs on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
