stp-2.3.1-1.20180607git.c68788e.fc28.i686.rpm


Advertisement

Description

stp - Constraint solver/decision procedure

Property Value
Distribution Fedora 28
Repository Fedora Updates i386
Package name stp
Package version 2.3.1
Package release 1.20180607git.c68788e.fc28
Package architecture i686
Package type rpm
Installed size 5.22 MB
Download size 2.00 MB
Official Mirror download-ib01.fedoraproject.org
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://people.csail.mit.edu/vganesh/STP_files/stp.html

Alternatives

Package Version Architecture Repository
stp-2.3.1-1.20180607git.c68788e.fc28.x86_64.rpm 2.3.1 x86_64 Fedora Updates
stp-2.3.1-1.20180607git.c68788e.fc28.i686.rpm 2.3.1 i686 Fedora Updates
stp-2.1.2-12.20171116git.b67aa83.fc28.x86_64.rpm 2.1.2 x86_64 Fedora
stp-2.1.2-12.20171116git.b67aa83.fc28.i686.rpm 2.1.2 i686 Fedora
stp-2.1.2-12.20171116git.b67aa83.fc28.i686.rpm 2.1.2 i686 Fedora
stp - - -

Requires

Name Value
ld-linux.so.2 -
ld-linux.so.2(GLIBC_2.3) -
libboost_program_options.so.1.66.0 -
libc.so.6(GLIBC_2.4) -
libcryptominisat5.so.5.6 -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libm.so.6 -
libm.so.6(GLIBC_2.1) -
libminisat.so.2 -
libpthread.so.0 -
libpthread.so.0(GLIBC_2.0) -
libstdc++.so.6 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(CXXABI_1.3.5) -
libstdc++.so.6(CXXABI_1.3.7) -
libstdc++.so.6(CXXABI_1.3.8) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.11) -
libstdc++.so.6(GLIBCXX_3.4.15) -
libstdc++.so.6(GLIBCXX_3.4.18) -
libstdc++.so.6(GLIBCXX_3.4.20) -
libstdc++.so.6(GLIBCXX_3.4.21) -
libstdc++.so.6(GLIBCXX_3.4.9) -
rtld(GNU_HASH) -

Provides

Name Value
libstp.so.2.1 -
stp = 2.3.1-1.20180607git.c68788e.fc28
stp(x86-32) = 2.3.1-1.20180607git.c68788e.fc28

Download

Type URL
Binary Package stp-2.3.1-1.20180607git.c68788e.fc28.i686.rpm
Source Package stp-2.3.1-1.20180607git.c68788e.fc28.src.rpm

Install Howto

Install stp rpm package:

# dnf install stp

Files

Path
/usr/bin/stp
/usr/bin/stp-2.1.2
/usr/bin/stp_simple
/usr/lib/libstp.so.2.1
/usr/lib/.build-id/
/usr/lib/.build-id/09/1edc2b972d17f33297e5e25e7fe53d8f8c879f
/usr/lib/.build-id/23/c265cc7737fa2fe9773eccb8efe3bd9b3f53d7
/usr/lib/.build-id/ce/4f5da0a1773df15d429fd42f031cb2879cf992
/usr/share/doc/stp/AUTHORS
/usr/share/doc/stp/README.markdown
/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/LICENSE
/usr/share/licenses/stp/LICENSE_COMPONENTS

Changelog

2018-06-13 - Jerry James <loganjerry@gmail.com> - 2.3.1-1.20180607git.c68788e
- Update to recent git snapshot
- Add a python3 subpackage
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 2.1.2-12.20171116git.b67aa83
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-01-23 - Jonathan Wakely <jwakely@redhat.com> - 2.1.2-11.20171116git.b67aa83
- Rebuilt for Boost 1.66
2017-11-25 - Jerry James <loganjerry@gmail.com> - 2.1.2-10.20171116git.b67aa83
- Update to recent git snapshot
- Build with cryptominisat5 support
2017-08-19 - Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 2.1.2-9.20151122git.3785148
- Python 2 binary package renamed to python2-stp
See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3
2017-08-03 - Fedora Release Engineering <releng@fedoraproject.org> - 2.1.2-8.20151122git.3785148
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 2.1.2-7.20151122git.3785148
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-07-18 - Jonathan Wakely <jwakely@redhat.com> - 2.1.2-6.20151122git.3785148
- Rebuilt for Boost 1.64
2017-02-08 - Kalev Lember <klember@redhat.com> - 2.1.2-5.20151122git.3785148
- Rebuilt for Boost 1.63
2017-01-28 - Jerry James <loganjerry@gmail.com> - 2.1.2-4.20151122git.3785148
- Fix cmake files (bz 1414167)

See Also

Package Description
stp-devel-2.3.1-1.20180607git.c68788e.fc28.i686.rpm Development files for STP constraint solver/decision procedure
strace-4.26-1.fc28.i686.rpm Tracks and displays system calls associated with a running process
stratis-cli-1.0.0-2.fc28.noarch.rpm Command-line tool for interacting with the Stratis daemon
stratisd-0.5.2-2.fc28.i686.rpm Daemon that manages block devices to create filesystems
strawberry-0.5.2-2.fc28.i686.rpm An audio player and music collection organizer
strongswan-5.7.2-1.fc28.i686.rpm An OpenSource IPsec-based VPN and TNC solution
strongswan-charon-nm-5.7.2-1.fc28.i686.rpm NetworkManager plugin for Strongswan
strongswan-libipsec-5.7.2-1.fc28.i686.rpm Strongswan's libipsec backend
strongswan-sqlite-5.7.2-1.fc28.i686.rpm SQLite support for strongSwan
strongswan-tnc-imcvs-5.7.2-1.fc28.i686.rpm Trusted network connect (TNC)'s IMC/IMV functionality
stunnel-5.50-1.fc28.i686.rpm A TLS-encrypting socket wrapper
subscription-manager-1.24.2-1.fc28.i686.rpm Tools and libraries for subscription and repository management
subscription-manager-cockpit-1.24.2-1.fc28.noarch.rpm Subscription Manager Cockpit UI
subscription-manager-initial-setup-addon-1.24.2-1.fc28.i686.rpm initial-setup screens for subscription-manager
subscription-manager-migration-1.24.2-1.fc28.i686.rpm Migration scripts for moving to certificate based subscriptions
Advertisement
Advertisement