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

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

From OpenSuSE Leap 15.5 for s390x

Name: minisat Distribution: SUSE Linux Enterprise 15 SP5
Version: 2.2.1+20200902 Vendor: openSUSE
Release: bp155.3.12 Build date: Mon May 22 12:35:47 2023
Group: Development/Tools/Other Build host: s390zp21
Size: 52589 Source RPM: minisat-2.2.1+20200902-bp155.3.12.src.rpm
Packager: https://bugs.opensuse.org
Url: http://minisat.se/MiniSat.html
Summary: SAT solver
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

Requires

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:25:27 2024