| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: minisat | Distribution: SUSE Linux Enterprise 15 SP4 |
| Version: 2.2.1+20200902 | Vendor: openSUSE |
| Release: bp154.1.1 | Build date: Thu Dec 9 16:10:38 2021 |
| Group: Development/Tools/Other | Build host: armbuild02 |
| Size: 43137 | Source RPM: minisat-2.2.1+20200902-bp154.1.1.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.
MIT
* 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
/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 Apr 9 18:39:40 2024