lrslib-6.2-lp152.3.2 RPM for armv7hl

From OpenSuSE Ports Leap 15.2 for armv7hl

lrslib is a library for the reverse search algorithm for vertex
enumeration/convex hull problems and comes with a choice of three
arithmetic packages. Input file formats are compatible with Komei
Fukuda's cdd package. All computations are done exactly in either
multiple precision or fixed integer arithmetic. Output is not stored
in memory, so even problems with very large output sizes can
sometimes be solved.

Provides

• lrslib
• lrslib(armv7hl-32)

Requires

• ld-linux-armhf.so.3
• ld-linux-armhf.so.3(GLIBC_2.4)
• libboost_system.so.1.66.0
• libboost_thread.so.1.66.0
• 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
• liblrsgmp-062.so
• libstdc++.so.6
• libstdc++.so.6(CXXABI_1.3)
• 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.20)
• 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+

Changelog

* Tue Feb 21 2017 jengelh@inai.de
  - Update to new upstream release 062
    * New command-line options -countonly, -stopafter <n>, -maxbuf <n>.
    * Volume output.
    * Counting statistics on number of jobs, size of L, number of
      times empty changed to longs.
    * Performance improvements for problems with large outputs.
* Sun Mar 27 2016 jengelh@inai.de
  - Initial package (version 061) for build.opensuse.org

Files

/usr/bin/2nash
/usr/bin/lrs
/usr/bin/lrs1
/usr/bin/lrsnash
/usr/bin/plrs
/usr/bin/plrs1
/usr/bin/plrsmp
/usr/bin/redund
/usr/bin/redund1
/usr/bin/setnash
/usr/bin/setnash2
/usr/share/doc/packages/lrslib
/usr/share/doc/packages/lrslib/COPYING
/usr/share/doc/packages/lrslib/README

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 12:39:17 2024