How To Install stp-devel on Fedora 36

In this tutorial we learn how to install stp-devel in Fedora 36. stp-devel is Development files for STP constraint solver/decision procedure

Introduction

In this tutorial we learn how to install stp-devel on Fedora 36.

What is stp-devel

Development files for the STP (Simple Theorem Prover), a constraint solver (also referred to as a decision procedure or automated prover). Provides a static library.

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

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

sudo dnf -y install stp-devel

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

sudo yum -y install stp-devel

How To Uninstall stp-devel on Fedora 36

To uninstall only the stp-devel package we can use the following command:

sudo dnf remove stp-devel

stp-devel Package Contents on Fedora 36

/usr/include/stp
/usr/include/stp/c_interface.h
/usr/lib/cmake/STP
/usr/lib/cmake/STP/STPConfig.cmake
/usr/lib/cmake/STP/STPConfigVersion.cmake
/usr/lib/cmake/STP/STPTargets-relwithdebinfo.cmake
/usr/lib/cmake/STP/STPTargets.cmake
/usr/lib/libstp.so

References

Summary

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

title: “How To Install stp-devel on Fedora 36” linkTitle: “stp-devel” type: “docs” description: “In this tutorial we learn how to install stp-devel in Fedora 36. stp-devel is Development files for STP constraint solver/decision procedure” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/stp-devel-featured.png

Introduction

In this tutorial we learn how to install stp-devel on Fedora 36.

What is stp-devel

Development files for the STP (Simple Theorem Prover), a constraint solver (also referred to as a decision procedure or automated prover). Provides a static library.

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

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

sudo dnf -y install stp-devel

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

sudo yum -y install stp-devel

How To Uninstall stp-devel on Fedora 36

To uninstall only the stp-devel package we can use the following command:

sudo dnf remove stp-devel

stp-devel Package Contents on Fedora 36

/usr/include/stp
/usr/include/stp/c_interface.h
/usr/lib64/cmake/STP
/usr/lib64/cmake/STP/STPConfig.cmake
/usr/lib64/cmake/STP/STPConfigVersion.cmake
/usr/lib64/cmake/STP/STPTargets-relwithdebinfo.cmake
/usr/lib64/cmake/STP/STPTargets.cmake
/usr/lib64/libstp.so

References

Summary

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