Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: minisat | Distribution: openSUSE Leap 15.2 |
Version: 2.2.0+20130925 | Vendor: openSUSE |
Release: lp152.3.6 | Build date: Sat May 16 13:48:01 2020 |
Group: Development/Tools/Other | Build host: lamb11 |
Size: 26317 | Source RPM: minisat-2.2.0+20130925-lp152.3.6.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
* 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/share/doc/packages/minisat /usr/share/doc/packages/minisat/LICENSE /usr/share/doc/packages/minisat/README
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu May 9 11:33:50 2024