How To Install stp on Fedora 36

In this tutorial we learn how to install stp in Fedora 36. stp is Constraint solver/decision procedure

Introduction

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

What is stp

STP (Simple Theorem Prover) is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. STP has been used in many research projects at Stanford, Berkeley, MIT, CMU and other universities, as well as companies and government agencies. The input to STP are formulas over the theory of bit-vectors and arrays (this theory captures most expressions from languages like C/C++/Java and Verilog), and the output of STP is a single bit of information that indicates whether the formula is satisfiable or not. If the input is satisfiable, then it also generates a variable assignment to satisfy the input formula. Additional information can be found at http

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

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

sudo dnf -y install stp

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

sudo yum -y install stp

How To Uninstall stp on Fedora 36

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

sudo dnf remove stp

stp Package Contents on Fedora 36

/usr/bin/stp
/usr/bin/stp_simple
/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/6219b33849990f450d226d55d98c855a44927e
/usr/lib/.build-id/33
/usr/lib/.build-id/33/2e8eb56e05c8bc090b6f342dec642e8bd07b94
/usr/lib/.build-id/4b
/usr/lib/.build-id/4b/a6cb588830373e78f9c583877806215a6a7324
/usr/lib/libstp.so.2.3
/usr/share/doc/stp
/usr/share/doc/stp/AUTHORS
/usr/share/doc/stp/README.markdown
/usr/share/doc/stp/papers
/usr/share/doc/stp/papers/EXE-STP-TISSEC-Journal-2007.pdf
/usr/share/doc/stp/papers/EXE-STP.pdf
/usr/share/doc/stp/papers/vijayganesh-stp-paper.pdf
/usr/share/licenses/stp
/usr/share/licenses/stp/LICENSE
/usr/share/licenses/stp/LICENSE_COMPONENTS
/usr/share/man/man1/stp.1.gz

References

Summary

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

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

Introduction

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

What is stp

STP (Simple Theorem Prover) is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. STP has been used in many research projects at Stanford, Berkeley, MIT, CMU and other universities, as well as companies and government agencies. The input to STP are formulas over the theory of bit-vectors and arrays (this theory captures most expressions from languages like C/C++/Java and Verilog), and the output of STP is a single bit of information that indicates whether the formula is satisfiable or not. If the input is satisfiable, then it also generates a variable assignment to satisfy the input formula. Additional information can be found at http

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

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

sudo dnf -y install stp

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

sudo yum -y install stp

How To Uninstall stp on Fedora 36

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

sudo dnf remove stp

stp Package Contents on Fedora 36

/usr/bin/stp
/usr/bin/stp_simple
/usr/lib/.build-id
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/7fc5e9281012af00c189b4b3fcb10346f3f54c
/usr/lib/.build-id/44
/usr/lib/.build-id/44/b0c043b36b26ea169757a39f5c8a527adec1e1
/usr/lib/.build-id/d0
/usr/lib/.build-id/d0/9f1262e1e54283506a7e66699f696405cfad05
/usr/lib64/libstp.so.2.3
/usr/share/doc/stp
/usr/share/doc/stp/AUTHORS
/usr/share/doc/stp/README.markdown
/usr/share/doc/stp/papers
/usr/share/doc/stp/papers/EXE-STP-TISSEC-Journal-2007.pdf
/usr/share/doc/stp/papers/EXE-STP.pdf
/usr/share/doc/stp/papers/vijayganesh-stp-paper.pdf
/usr/share/licenses/stp
/usr/share/licenses/stp/LICENSE
/usr/share/licenses/stp/LICENSE_COMPONENTS
/usr/share/man/man1/stp.1.gz

References

Summary

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