Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

libstp2_3-2.3.3+20220507-1.2 RPM for x86_64

From OpenSuSE Tumbleweed for x86_64

Name: libstp2_3 Distribution: openSUSE Tumbleweed
Version: 2.3.3+20220507 Vendor: openSUSE
Release: 1.2 Build date: Wed Jun 15 07:55:19 2022
Group: Unspecified Build host: lamb72
Size: 2653584 Source RPM: stp-2.3.3+20220507-1.2.src.rpm
Summary: Constraint Solver
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.






* Wed May 11 2022
  - Update to version 2.3.3+20220507:
    * Don't save a pointer to node factor in case it gets updated later
    * Improved pure literal removal and unit test
    * Simplify less than one to equal to zero.
    * handle more cases and better testing of simplifying node factory
    * refactor. Clean up initialisation of STP in a tool.
    * Make initialising STP slightly easier.
    * remove some more default functions.
    * refactor. Remove substitition map out of simplifier class.
    * Remove a flag that wasn't read.
    * Remove a dead path and the associated flag.
    * Refactor. Use node factory rather than STPMgr.
    * Remove simplifier from substitution map.
    * Make more things private in Simplifier
    * refactor. Moving some code out of simplify
    * deleting some default generated constructors
* Wed Mar 16 2022
  - Update to version 2.3.3+20220314:
    * doc: fix typo
    * stop aig rewriting if the number of and nodes doesn't reduce.
    * Add command line option to control whether size reducing simplifications fixed point.
    * refactor. Order the user flags.
    * remove unreachable option
    * Enable the setting of more options via the command-line arguments.
    * fixes 421
    * Trial assigning to flags at definition time.
    * remove unused includes
    * Fix. adaed499e3d24bcf906852a6c428df07b5a6cee2 shouldn't have turned on flattening when simplifications are disabled.
    * Fix. Nodes that are complements shouldn't evaluate as being equal.
    * and much more
* Fri Feb 19 2021
  - Update to version 2.3.3+20210104:
    * Creating an API to get the value/index size from a 'Type'
* Wed Nov 04 2020
  - Update to version 2.3.3+20201027:
    * Ensuring that we do not create double frames when creating a new frame; closes #385
    * Fix build for minisat, using stp/minisat
    * First look for installed MiniSat, then the built one
    * Fixing warnings by GitHub static code analysis
    * Allow finding minisat through CONFIG first
    * Create codeql-analysis.yml
    * Ensuring documentation consistency with the use of semicolon vs. period
    * Correcting double backticks in README
    * Updating README to update build steps and document how to run CMake without installing STP's dependencies system-wide
    * Importing the latest 'GetGitRevisionDescription' CMake modules from rpavlik/cmake-modules
    * Ensuring that all CMake targets are correct to support no-op builds
    * Updating code to use C++11 autos for readability
    * and much more
  - switch to obs_scm
* Wed Nov 04 2020 Jiri Slaby <>
  - fix build on 12sp5 -- define Python_ADDITIONAL_VERSIONS to 3
* Thu Jan 30 2020
  - Update to version 2.3.3+20200113:
    * Fixing tests so build doesn't break
    * Removing slow running tests
    * Better support for python in build
    * less bad model printing for arrays.
    * Change reference to Minisat repo
    * extra little one.
    * Removing tests that take 1 minute to execute
* Thu Jan 09 2020 Martin Pluskal <>
  - Python3 bindings subpackage should be named correctly
  - More modern cmake macros
* Thu Jan 09 2020 Ondřej Súkup <>
  - build python3 bindings + patch py3.patch
  - drop dependecy on python devel .. not needed
* Wed Jul 31 2019
  - Update to version 2.3.3+20190713:
    * fix #330.
    * Partial fix for #330.
    * Hack to get a smtlib benchmark parsing.
    * Decimal output is incredibly slow for ~30,000 bits.
    * Timeout tests are way too slow, removing
    * fix. wasn't printing success like it should on some smtlib commands.
    * -p will now print smtlib2 format models when the smtlib2 parser is selected. smtlib2 models contain all the variables (even those that can take any value).
    * don't output a model if it was unsat.
    * fix boolean model output.
* Sat Feb 23 2019
  - 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



Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 26 23:43:50 2022