How To Install cvc4-libs on Fedora 36

In this tutorial we learn how to install cvc4-libs in Fedora 36. cvc4-libs is Library containing an automatic theorem prover for SMT problems

Introduction

In this tutorial we learn how to install cvc4-libs on Fedora 36.

What is cvc4-libs

Library containing the core of the cvc4 automatic theorem prover for SMT problems.

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

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

sudo dnf -y install cvc4-libs

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

sudo yum -y install cvc4-libs

How To Uninstall cvc4-libs on Fedora 36

To uninstall only the cvc4-libs package we can use the following command:

sudo dnf remove cvc4-libs

cvc4-libs Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/0a
/usr/lib/.build-id/0a/4e77c6d320869ef8ae504743a25cfd3e873b5e
/usr/lib/.build-id/56
/usr/lib/.build-id/56/5d90be1ed700f670fcaf6298cc3d5366f32def
/usr/lib/libcvc4.so.7
/usr/lib/libcvc4parser.so.7
/usr/share/licenses/cvc4-libs
/usr/share/licenses/cvc4-libs/COPYING

References

Summary

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

title: “How To Install cvc4-libs on Fedora 36” linkTitle: “cvc4-libs” type: “docs” description: “In this tutorial we learn how to install cvc4-libs in Fedora 36. cvc4-libs is Library containing an automatic theorem prover for SMT problems” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/cvc4-libs-featured.png

Introduction

In this tutorial we learn how to install cvc4-libs on Fedora 36.

What is cvc4-libs

Library containing the core of the cvc4 automatic theorem prover for SMT problems.

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

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

sudo dnf -y install cvc4-libs

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

sudo yum -y install cvc4-libs

How To Uninstall cvc4-libs on Fedora 36

To uninstall only the cvc4-libs package we can use the following command:

sudo dnf remove cvc4-libs

cvc4-libs Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/77
/usr/lib/.build-id/77/2f4f5115aa29804cce9dab4ddac9eff494d813
/usr/lib/.build-id/ef
/usr/lib/.build-id/ef/308be3a197274f057ae57904f92ee0e2fff119
/usr/lib64/libcvc4.so.7
/usr/lib64/libcvc4parser.so.7
/usr/share/licenses/cvc4-libs
/usr/share/licenses/cvc4-libs/COPYING

References

Summary

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