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
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:


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 - - -


Name Value - - - - - - - - - - - - - - - - - - - - - - - -
rtld(GNU_HASH) -


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


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




2018-06-13 - Jerry James <> - 2.3.1-1.20180607git.c68788e
- Update to recent git snapshot
- Add a python3 subpackage
2018-02-09 - Fedora Release Engineering <> - 2.1.2-12.20171116git.b67aa83
- Rebuilt for
2018-01-23 - Jonathan Wakely <> - 2.1.2-11.20171116git.b67aa83
- Rebuilt for Boost 1.66
2017-11-25 - Jerry James <> - 2.1.2-10.20171116git.b67aa83
- Update to recent git snapshot
- Build with cryptominisat5 support
2017-08-19 - Zbigniew Jędrzejewski-Szmek <> - 2.1.2-9.20151122git.3785148
- Python 2 binary package renamed to python2-stp
2017-08-03 - Fedora Release Engineering <> - 2.1.2-8.20151122git.3785148
- Rebuilt for
2017-07-27 - Fedora Release Engineering <> - 2.1.2-7.20151122git.3785148
- Rebuilt for
2017-07-18 - Jonathan Wakely <> - 2.1.2-6.20151122git.3785148
- Rebuilt for Boost 1.64
2017-02-08 - Kalev Lember <> - 2.1.2-5.20151122git.3785148
- Rebuilt for Boost 1.63
2017-01-28 - Jerry James <> - 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