How To Install stp on Fedora 34

stp is Constraint solver/decision procedure Constraint solver/decision procedure

Introduction

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

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 stp 2.3.3 16.fc34 x86_64 2.0 M stp-2.3.3-16.fc34.src.rpm updates Constraint solver/decision procedure http MIT 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 34. In this tutorial we discuss both methods but you only need to choose one of method to install stp.

Install stp on Fedora 34 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

After updating yum database, We can install stp using dnf by running the following command:

sudo dnf -y install stp

Install stp on Fedora 34 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

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 34

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

sudo dnf remove stp

stp Package Contents on Fedora 34

/usr/bin/stp
/usr/bin/stp_simple
/usr/lib/.build-id
/usr/lib/.build-id/25
/usr/lib/.build-id/25/e7d87d6382b84e1cf04bcc2020f524758cc41b
/usr/lib/.build-id/60
/usr/lib/.build-id/60/2ee4751439ef9e21dd1d6ebd054213124a27cf
/usr/lib/.build-id/a3
/usr/lib/.build-id/a3/57ad85007d976fd95964016fa3c97c08ecf843
/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
/usr/bin/stp
/usr/bin/stp_simple
/usr/lib/.build-id
/usr/lib/.build-id/54
/usr/lib/.build-id/54/2c76733e5257fe4ea12b7cc3484986c1694e53
/usr/lib/.build-id/a8
/usr/lib/.build-id/a8/dc4f0e39643bd492ea247419dbd8c65624f7d4
/usr/lib/.build-id/ac
/usr/lib/.build-id/ac/00fc69f51b0c9229b3685bf39cf80dd9958f0d
/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
/usr/bin/stp
/usr/bin/stp_simple
/usr/lib/.build-id
/usr/lib/.build-id/5e
/usr/lib/.build-id/5e/98893739adf6fc82977215376a02d871b9b424
/usr/lib/.build-id/cd
/usr/lib/.build-id/cd/b3a31118ca36f2759c9de6fae34bc171474c96
/usr/lib/.build-id/e1
/usr/lib/.build-id/e1/bff3a2e38a8566baeb71e66966919896b7143d
/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
/usr/bin/stp
/usr/bin/stp_simple
/usr/lib/.build-id
/usr/lib/.build-id/62
/usr/lib/.build-id/62/b65974fd3696bb27f9d7a02293cd088be7a4da
/usr/lib/.build-id/9f
/usr/lib/.build-id/9f/c8bd51f2369ba5a99dc51e46c6ed17136114bf
/usr/lib/.build-id/f6
/usr/lib/.build-id/f6/5707ef6dab7827302120e0a646a19fa05d1dc8
/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 34 using yum and dnf.