azove-2.0-bp154.2.20 RPM for s390x

From OpenSuSE Leap 15.4 for s390x

azove is a tool designed for counting (without explicit enumeration)
and enumeration of 0/1 vertices.

Given a polytope by a linear relaxation or facet description P = {x |
Ax <= b}, all 0/1 points lying in P can be counted or enumerated.
This is done by intersecting the polytope P with the unit-hypercube
[0,1]^d. The integral vertices (no fractional ones) of this
intersection will be enumerated. If P is a 0/1 polytope, azove solves
the vertex enumeration problem. In fact, it can also solve the 0/1
knapsack problem and the 0/1 subset sum problem.

Provides

• azove
• azove(s390-64)

Requires

• 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)
• libgmp.so.10()(64bit)
• libgmpxx.so.4()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.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

GPL-2.0-or-later

Changelog

* Sat Aug 24 2019 Jan Engelhardt <jengelh@inai.de>
  - Modernize specfile.
* Thu May 23 2013 jengelh@inai.de
  - Initial package (version 2.0) for build.opensuse.org
  - Add azove-cpp.diff to fix compile error

Files

/usr/bin/azove2
/usr/share/licenses/azove
/usr/share/licenses/azove/COPYING

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 16:14:43 2024