How To Install picosat-libs on Fedora 36
Introduction
In this tutorial we learn how to install picosat-libs
on Fedora 36.
What is picosat-libs
The PicoSAT library, which contains routines that solve the SAT problem. The library has a simple API which is similar to that of previous solvers by the same authors.
We can use yum
or dnf
to install picosat-libs
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install picosat-libs.
Install picosat-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 picosat-libs
using dnf
by running the following command:
sudo dnf -y install picosat-libs
Install picosat-libs on Fedora 36 Using yum
Update yum database with yum
using the following command.
title: "How To Install picosat-libs on Fedora 36"
sudo yum makecache --refresh
linkTitle: "picosat-libs"
type: “docs”
After updating yum database, We can install picosat-libs
using yum
by running the following command:
description: “In this tutorial we learn how to install picosat-libs in Fedora 36. picosat-libs is A SAT solver library”
date: “2022-08-17”
lastmod: "2022-08-17"
sudo yum -y install picosat-libs
#image: /images/fedora/36/picosat-libs-featured.png
How To Uninstall picosat-libs on Fedora 36
Introduction
To uninstall only the picosat-libs
package we can use the following command:
In this tutorial we learn how to install picosat-libs
on Fedora 36.
### What is `picosat-libs`
sudo dnf remove picosat-libs
The PicoSAT library, which contains routines that solve the SAT problem. The library has a simple API which is similar to that of previous solvers by the same authors.
picosat-libs Package Contents on Fedora 36
We can use yum
or dnf
to install picosat-libs
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install picosat-libs.
## Install picosat-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 picosat-libs
using dnf
by running the following command:
sudo dnf -y install picosat-libs
Install picosat-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 picosat-libs
using yum
by running the following command:
sudo yum -y install picosat-libs
How To Uninstall picosat-libs on Fedora 36
To uninstall only the picosat-libs
package we can use the following command:
sudo dnf remove picosat-libs
picosat-libs Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/92
/usr/lib/.build-id/92/be2bf8045e3d30ae7ca36963b0dd21a6df9f0b
/usr/lib/.build-id/d4
/usr/lib/.build-id/d4/c2c70d3a60ced2775eb5cfe08b6066602fe663
/usr/lib/libpicosat-trace.so.0
/usr/lib/libpicosat-trace.so.0.0.965
/usr/lib/libpicosat.so.0
/usr/lib/libpicosat.so.0.0.965
/usr/share/doc/picosat-libs
/usr/share/doc/picosat-libs/NEWS
/usr/share/licenses/picosat-libs
/usr/share/licenses/picosat-libs/LICENSE
References
Summary
In this tutorial we learn how to install picosat-libs
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
/usr/lib/.build-id /usr/lib/.build-id/1a /usr/lib/.build-id/1a/76f98d19a6281d713584c801f97b398bd645d5 /usr/lib/.build-id/1c /usr/lib/.build-id/1c/4d2b1b1650973aa025668bc1cb1a692b3d0892 /usr/lib64/libpicosat-trace.so.0 /usr/lib64/libpicosat-trace.so.0.0.965 /usr/lib64/libpicosat.so.0 /usr/lib64/libpicosat.so.0.0.965 /usr/share/doc/picosat-libs /usr/share/doc/picosat-libs/NEWS /usr/share/licenses/picosat-libs /usr/share/licenses/picosat-libs/LICENSE
## References
* [picosat-libs website](http://fmv.jku.at/picosat/)
## Summary
In this tutorial we learn how to install `picosat-libs` on [Fedora 36](/fedora/36/) using [yum](/fedora/36/yum/) and [dnf]((/fedora/36/dnf/).