How To Install lfsc on Fedora 36
Introduction
In this tutorial we learn how to install lfsc
on Fedora 36.
What is lfsc
This package contains an SMT proof checker.
We can use yum
or dnf
to install lfsc
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install lfsc.
Install lfsc 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 lfsc
using dnf
by running the following command:
sudo dnf -y install lfsc
Install lfsc 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 lfsc
using yum
by running the following command:
sudo yum -y install lfsc
How To Uninstall lfsc on Fedora 36
To uninstall only the lfsc
package we can use the following command:
sudo dnf remove lfsc
lfsc Package Contents on Fedora 36
---
title: "How To Install lfsc on Fedora 36"
linkTitle: "lfsc"
type: "docs"
description: "In this tutorial we learn how to install lfsc in Fedora 36. lfsc is SMT proof checker"
date: "2022-08-17"
lastmod: "2022-08-17"
#image: /images/fedora/36/lfsc-featured.png
---
## Introduction
In this tutorial we learn how to install `lfsc` on Fedora 36.
### What is `lfsc`
> This package contains an SMT proof checker.
We can use `yum` or `dnf` to install `lfsc` on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install lfsc.
## Install lfsc 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 lfsc
using dnf
by running the following command:
sudo dnf -y install lfsc
Install lfsc 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 lfsc
using yum
by running the following command:
sudo yum -y install lfsc
How To Uninstall lfsc on Fedora 36
To uninstall only the lfsc
package we can use the following command:
sudo dnf remove lfsc
lfsc Package Contents on Fedora 36
/usr/bin/lfscc
/usr/lib/.build-id
/usr/lib/.build-id/ce
/usr/lib/.build-id/ce/abe5c5c3e9745ac3a011add43d0ed2867f63dc
/usr/lib/.build-id/d3
/usr/lib/.build-id/d3/198610d5400c1a9aad5b98230ea9bdcdad22ab
/usr/lib/liblfscc.so.0
/usr/lib/liblfscc.so.0.0.0
/usr/share/doc/lfsc
/usr/share/doc/lfsc/AUTHORS
/usr/share/doc/lfsc/README.md
/usr/share/lfsc
/usr/share/lfsc/color_base.plf
/usr/share/lfsc/color_euf.plf
/usr/share/lfsc/euf_interpolation.plf
/usr/share/lfsc/sat.plf
/usr/share/lfsc/smt.plf
/usr/share/lfsc/th_base.plf
/usr/share/lfsc/th_lra-cvc3.plf
/usr/share/lfsc/th_lra.plf
/usr/share/lfsc/th_real.plf
/usr/share/licenses/lfsc
/usr/share/licenses/lfsc/COPYING
/usr/share/man/man1/lfscc.1.gz
References
Summary
In this tutorial we learn how to install lfsc
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
/usr/bin/lfscc /usr/lib/.build-id /usr/lib/.build-id/4f /usr/lib/.build-id/4f/395e1892d5f5cb46716448cbb558ff42f5b0b3 /usr/lib/.build-id/5a /usr/lib/.build-id/5a/a553de4f6869dd921765051c59ab80f8e96eb6 /usr/lib64/liblfscc.so.0 /usr/lib64/liblfscc.so.0.0.0 /usr/share/doc/lfsc /usr/share/doc/lfsc/AUTHORS /usr/share/doc/lfsc/README.md /usr/share/lfsc /usr/share/lfsc/color_base.plf /usr/share/lfsc/color_euf.plf /usr/share/lfsc/euf_interpolation.plf /usr/share/lfsc/sat.plf /usr/share/lfsc/smt.plf /usr/share/lfsc/th_base.plf /usr/share/lfsc/th_lra-cvc3.plf /usr/share/lfsc/th_lra.plf /usr/share/lfsc/th_real.plf /usr/share/licenses/lfsc /usr/share/licenses/lfsc/COPYING /usr/share/man/man1/lfscc.1.gz
## References
* [lfsc website](https://github.com/CVC4/LFSC)
## Summary
In this tutorial we learn how to install `lfsc` on [Fedora 36](/fedora/36/) using [yum](/fedora/36/yum/) and [dnf]((/fedora/36/dnf/).