azove-2.0-bp155.3.2 RPM for armv7hl

From OpenSuSE Ports Leap 15.5 for armv7hl

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(armv7hl-32)

Requires

• ld-linux-armhf.so.3
• ld-linux-armhf.so.3(GLIBC_2.4)
• libc.so.6
• libc.so.6(GLIBC_2.4)
• libc.so.6(GLIBC_2.7)
• libgcc_s.so.1
• libgcc_s.so.1(GCC_3.5)
• libgmp.so.10
• libgmpxx.so.4
• libstdc++.so.6
• libstdc++.so.6(CXXABI_1.3)
• libstdc++.so.6(CXXABI_1.3.9)
• libstdc++.so.6(CXXABI_ARM_1.3.3)
• libstdc++.so.6(GLIBCXX_3.4)
• libstdc++.so.6(GLIBCXX_3.4.11)
• libstdc++.so.6(GLIBCXX_3.4.15)
• libstdc++.so.6(GLIBCXX_3.4.21)
• libstdc++.so.6(GLIBCXX_3.4.9)
• 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 Apr 9 21:45:44 2024