stp-2.3.2+20190222-1.2.i586.rpm


Advertisement

Description

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
Homepage https://github.com/stp/stp/wiki
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.

Alternatives

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

Requires

Name Value
ld-linux.so.2 -
ld-linux.so.2(GLIBC_2.3) -
libboost_program_options.so.1.69.0 -
libc.so.6(GLIBC_2.4) -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libstdc++.so.6 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.11) -
libstdc++.so.6(GLIBCXX_3.4.18) -
libstdc++.so.6(GLIBCXX_3.4.21) -
libstdc++.so.6(GLIBCXX_3.4.9) -
libstp.so.2.3 -

Provides

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

Download

Type URL
Mirror widehat.opensuse.org
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

Files

Path
/usr/bin/stp
/usr/bin/stp-2.3.2
/usr/bin/stp_simple
/usr/bin/stp_simple-2.3.2
/usr/share/doc/packages/stp/AUTHORS
/usr/share/doc/packages/stp/README.markdown
/usr/share/licenses/stp/LICENSE

Changelog

2019-02-23 - jslaby@suse.com
- 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 - jslaby@suse.com
- 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
Advertisement
Advertisement