minisat-2.2.1+20200902-bp155.3.12 RPM for x86_64

From OpenSuSE Leap 15.5 for x86_64

MiniSat is a comparatively small SAT solver with documentation
(through the following paper). The first version was just above 600
lines while containing many then-desirable features (conflict-clause
recording, conflict-driven backjumping, VSIDS dynamic variable order,
two-literal watch scheme), and even extensions for incremental SAT
and for non-clausal constraints over boolean variables.

The current MiniSat v2 supports variable elimination style
simplification, too.

Provides

• minisat
• minisat(x86-64)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libminisat.so.2()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• libz.so.1()(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1

License

MIT

Changelog

* Wed Jul 27 2022 Jiri Slaby <jslaby@suse.cz>
  - add CMakeLists-use-absolute-libdir-in-rpath-handling.patch
    (fix rpath (don't use relative lib64))
* Wed Nov 04 2020 jslaby@suse.cz
  - 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 jslaby@suse.com
  - 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 <simonpuchert@alice.de>
  - Add friend-declaration.patch:
    * Fix the illegal friend declaration that caused a build failure.
* Fri Feb 17 2017 jslaby@suse.com
  - make the version the same as for stp, klee and others
* Thu Feb 16 2017 mpluskal@suse.com
  - Adjust _service
* Thu Feb 16 2017 jengelh@inai.de
  - Trim description
  - Use version numbers based on those used by upstream
* Thu Oct 15 2015 jslaby@suse.com
  - add LICENSE and README
* Fri Oct 09 2015 jslaby@suse.com
  - add Makefile_lib_rule.patch: fix parallel build
* Tue Apr 14 2015 jslaby@suse.com
  - switch to the git version
  - update to 20130925
* Thu Mar 19 2015 jslaby@suse.com
  - initial package

Files

/usr/bin/minisat
/usr/bin/minisat_core
/usr/share/doc/packages/minisat
/usr/share/doc/packages/minisat/README
/usr/share/licenses/minisat
/usr/share/licenses/minisat/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 18:11:13 2024