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

minisat-2.2.0+20130925-lp152.3.7 RPM for ppc64le

From OpenSuSE Ports Leap 15.2 for ppc64le

Name: minisat Distribution: openSUSE:Leap:15.2:PowerPC / ports
Version: 2.2.0+20130925 Vendor: openSUSE
Release: lp152.3.7 Build date: Sat May 16 08:11:14 2020
Group: Development/Tools/Other Build host: obs-power8-03
Size: 71349 Source RPM: minisat-2.2.0+20130925-lp152.3.7.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

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


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 9 12:11:19 2024