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-lp150.1.3 RPM for ppc64le

From OpenSuSE Ports Leap 15.0 for ppc64le

Name: minisat Distribution: openSUSE Leap 15.0
Version: 2.2.0+20130925 Vendor: openSUSE
Release: lp150.1.3 Build date: Wed May 9 05:32:37 2018
Group: Development/Tools/Other Build host: obs-power8-04
Size: 71349 Source RPM: minisat-2.2.0+20130925-lp150.1.3.src.rpm
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.






* Fri Feb 17 2017
  - make the version the same as for stp, klee and others
* Thu Feb 16 2017
  - Adjust _service
* Thu Feb 16 2017
  - Trim description
  - Use version numbers based on those used by upstream
* Thu Oct 15 2015
  - add LICENSE and README
* Fri Oct 09 2015
  - add Makefile_lib_rule.patch: fix parallel build
* Tue Apr 14 2015
  - switch to the git version
  - update to 20130925
* Thu Mar 19 2015
  - initial package



Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Nov 9 10:26:55 2021