libminisat2-2.2.1+20200902-3.8 RPM for s390x

From OpenSuSE Ports Tumbleweed for s390x

MiniSat is a comparatively small SAT solver. It can do
conflict-clause recording, conflict-driven backjumping, VSIDS dynamic
variable order, two-literal watch scheme, non-clausal constraints
over boolean variables, and variable elimination style
simplification.

Provides

• libminisat2
• libminisat.so.2()(64bit)
• libminisat2(s390-64)

Requires

• /sbin/ldconfig
• /sbin/ldconfig
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.3.1)(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

MIT

Changelog

* Wed Jul 27 2022 Jiri Slaby <[email protected]>
  - add CMakeLists-use-absolute-libdir-in-rpath-handling.patch
    (fix rpath (don't use relative lib64))
* Wed Nov 04 2020 [email protected]
  - Update to version 2.2.1+20200902:
    * Fixing exported definitions
    * Adding uninstall capability
    * Revert "CMakeLists: support different lib dirs"
    * Removing second STATICCOMPILE
    * CMakeLists: support different lib dirs
    * Updating to fix build
    * Export minisat project for other cmake builds
    * Fixing static vs. dynamic compile
    * Quell some clang warnings
  - switch to obs_scm
  - drop 0001-CMakeLists-make-static-lib-optional.patch (in upstream)
* Mon Nov 04 2019 [email protected]
  - Update to version 2.2.1+20180702:
    * Fix linking of minisat as dependency library on MacOSX
    * fixed GCC 6.3 warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
    * Specify default argument in the declaration not the friend declaration
    * Fix declaration of Minisat::memUsedPeak for non-Linux systems
    * Remove illegal (and not neccesary) friend definition to fix compilation under clang.
    * Fixing problems with compilation with C++11 compilers
  - switch to cmake
    * add 0001-CMakeLists-support-different-lib-dirs.patch
    * add 0001-CMakeLists-make-static-lib-optional.patch
  - remove friend-declaration.patch (in upstream now)
  - remove Makefile_lib_rule.patch (not needed -- cmake)
* Mon Jul 29 2019 Simon Puchert <[email protected]>
  - Add friend-declaration.patch:
    * Fix the illegal friend declaration that caused a build failure.
* Fri Feb 17 2017 [email protected]
  - make the version the same as for stp, klee and others
* Thu Feb 16 2017 [email protected]
  - Adjust _service
* Thu Feb 16 2017 [email protected]
  - Trim description
  - Use version numbers based on those used by upstream
* Thu Oct 15 2015 [email protected]
  - add LICENSE and README
* Fri Oct 09 2015 [email protected]
  - add Makefile_lib_rule.patch: fix parallel build
* Tue Apr 14 2015 [email protected]
  - switch to the git version
  - update to 20130925

Files

/usr/lib64/libminisat.so.2
/usr/lib64/libminisat.so.2.1.0

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Dec 4 00:10:59 2024