stp - Constraint Solver

Property Value
Distribution openSUSE Tumbleweed
Repository openSUSE Oss all
Package filename stp-2.3.2+20190222-1.2.i586.rpm
Package name stp
Package version 2.3.2+20190222
Package release 1.2
Package architecture i586
Package type rpm
Category Productivity/Scientific/Other
License MIT
Maintainer -
Download size 76.99 KB
Installed size 233.87 KB
STP is an efficient decision procedure for the validity (or satisfiability) of
formulas from a quantifier-free many-sorted theory of fixed-width bitvectors
and (non-extensional) one-dimensional arrays. The functions in STP's input
language include concatenation, extraction, left/right shift, sign-extension,
unary minus, addition, multiplication, (signed) modulo/division, bitwise
Boolean operations, if-then-else terms, and array reads and writes. The
predicates in the language include equality and (signed) comparators between
bitvector terms.


Package Version Architecture Repository
stp-2.3.2+20190222-1.2.x86_64.rpm 2.3.2+20190222 x86_64 openSUSE Oss
stp - - -


Name Value - - - - - - - - - - - - - -


Name Value
stp = 2.3.2+20190222-1.2
stp(x86-32) = 2.3.2+20190222-1.2


Type URL
Binary Package stp-2.3.2+20190222-1.2.i586.rpm
Source Package stp-2.3.2+20190222-1.2.src.rpm

Install Howto

Install stp rpm package:

# zypper install stp




2019-02-23 -
- Update to version 2.3.2+20190222:
* Don't cache data in case of error
* Reordering riss library, maybe that will fix the issue
* Trying to fix appveyor
* Let's see the output of RISS being built
* No need for rdynamic hackery
* It's best to name the library target "stp" not "libstp"
* Fixing using <packagename>_ROOT variables
* Adding compiler options
* Fixing the mess that staticcompile was causing
* Fixing version-number based issue with the Docker image
* Removing gcc extension of C++, not needed
* Let's fix up Appveyor for static build
- Note that the build is fixed with bison 3.3.2.
- remove 0001-CMake-fix-dirs-again.patch, in upstream now
2017-10-10 -
- Update to version 2.3.1+20171008:
* Reducing scope of upper&lower
* Using $() instead of ``
* Removing unused code
* Removing unused code
* Adding docker file -- not working yet
* Fixing install and library location RPATH
* Updating README, fixing Docker
* Fixing static build
* Removed unused global variable
* Provide thread-safety (if C++11)
* Removing tests are too long and hold up development (>10s runtime each)
* Cleaning up lexer
* Cleanup of smt2.lex
* We can use straight-up "thread_local" here
* Trying to fix the thread-local storage for C
* Mark two more global variables as thread_local
* Updating READMEs
* No need for this parameter in AppVeyor
* No need for INSTALL, it's been incorporated into the README
* Updating README
* Fixing indentation and some restructuring of README
* Better naming of header
* Removing DLL_EXPORT on variables that break the build
* Using the ctest framework for testing
* Actually checking things in tests, reducing their outputs
* Making the interface's (vc) more explicit
* Removing trailing space
* Tabs to spaces conversion
* Trailing spaces removed
* Minimal cleanup of the lexer
* Fixing std::endl -> endl;
* Commenting out unused parameter
* Fix indentation
* Cleaner lexer
* Highlighting where GlobalParserInterface is being used
* Fixing the assert
* No need to undefine this, it should work without
* Some cleanup of bison&flex usage
* Fixing moving of header file
* No need for linenum
* Removing helpstring
* Removing unneeded files
* Removing one more static variable
* Reflowing code as per agreed clang-format
* Further cleanup
* Removing unused code
* Cleanup of tests mostly
* Making the visibility=hidden work
* Don't care about coveralls fail
* Fixing AppVeyor build
* Fixing the coverage script
* Removing comments from CMakeLists
* Fixing ARM compile issue as in new libabc
* Adding SUSE build files
* Fixing fuzz-testing to use python2
* Simplifying the Docker usage
* Fixing the Docker example
- add 0001-CMake-fix-dirs-again.patch

See Also

Package Description
stp-devel-2.3.2+20190222-1.2.i586.rpm Devel files for stp
stp-devel-2.3.2+20190222-1.2.x86_64.rpm Devel files for stp
stp-python-2.3.2+20190222-1.2.i586.rpm Python bindings for stp
stp-python-2.3.2+20190222-1.2.x86_64.rpm Python bindings for stp
strace-5.0-1.2.i586.rpm A utility to trace the system calls of a program
strace-5.0-1.2.x86_64.rpm A utility to trace the system calls of a program
strawberry-0.5.3-1.1.i586.rpm A audio player and music collection organizer
strawberry-0.5.3-1.1.x86_64.rpm A audio player and music collection organizer
stress-ng-0.09.58-1.1.i586.rpm Tool to load and stress a computer
stress-ng-0.09.58-1.1.x86_64.rpm Tool to load and stress a computer
stressapptest-1.0.9-1.3.i586.rpm Stressful application test
stressapptest-1.0.9-1.3.x86_64.rpm Stressful application test
strip-nondeterminism-1.0.0-1.1.noarch.rpm A tool for stripping non-deterministic information
strongswan-5.6.3-1.4.i586.rpm IPsec-based VPN solution
strongswan-5.6.3-1.4.x86_64.rpm IPsec-based VPN solution