stp-devel - Devel files for stp

Property Value
Distribution openSUSE Tumbleweed
Repository openSUSE Oss all
Package filename stp-devel-2.3.2+20190222-1.2.x86_64.rpm
Package name stp-devel
Package version 2.3.2+20190222
Package release 1.2
Package architecture x86_64
Package type rpm
Category Development/Languages/C and C++
License MIT
Maintainer -
Download size 32.75 KB
Installed size 57.50 KB
Developmnet files for stp library.


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


Name Value
libboost_program_options-devel -
libstp2_3 = 2.3.2+20190222
minisat-devel -
stp = 2.3.2+20190222


Name Value
cmake(STP) = 2.3.2
stp-devel = 2.3.2+20190222-1.2
stp-devel(x86-64) = 2.3.2+20190222-1.2


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

Install Howto

Install stp-devel rpm package:

# zypper install stp-devel




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-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
strongswan-doc-5.6.3-1.4.noarch.rpm Documentation for strongSwan
strongswan-hmac-5.6.3-1.4.i586.rpm HMAC files for FIPS-140-2 integrity in strongSwan