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

minisat-2.2.1+20180702-1.3 RPM for armv6hl

From OpenSuSE Ports Tumbleweed for armv6hl

Name: minisat Distribution: openSUSE Tumbleweed
Version: 2.2.1+20180702 Vendor: openSUSE
Release: 1.3 Build date: Wed Nov 27 11:02:26 2019
Group: Development/Tools/Other Build host: armbuild19
Size: 39033 Source RPM: minisat-2.2.1+20180702-1.3.src.rpm
Packager: http://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

* 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/LICENSE
/usr/share/doc/packages/minisat/README


Generated by rpm2html 1.8.1

Fabrice Bellet, Sun May 31 00:28:04 2020