libminisat2-2.2.0+20130925-bp153.1.17 RPM for s390x

From OpenSuSE Leap 15.3 for s390x

MiniSat is a comparatively small SAT solver. It can do
conflict-clause recording, conflict-driven backjumping, VSIDS dynamic
variable order, two-literal watch scheme, non-clausal constraints
over boolean variables, and variable elimination style
simplification.

Provides

• libminisat2
• libminisat.so.2()(64bit)
• libminisat2(s390-64)

Requires

• /sbin/ldconfig
• /sbin/ldconfig
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_2.7)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1

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/lib64/libminisat.so.2
/usr/lib64/libminisat.so.2.1.0

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 14:06:45 2024