lrslib-7.2-bp155.1.1 RPM for armv7hl

From OpenSuSE Ports Leap 15.5 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 the
cddlib 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)
• 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
• liblrs.so.1
• 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 Jul 16 2022 Jan Engelhardt <jengelh@inai.de>
  - Update to release 7.2
    * Projecting a polyhedron to a subset of its variables (Fourier
      elimination)
    * Determining if an inequality is redundant in computing the
      projection to a subset of its variables (uses SMT solver)
* Fri Jun 25 2021 Jan Engelhardt <jengelh@inai.de>
  - Update to release 7.1b
    * Fixed an issue where output can be lost in arithmetic change.
    * Place lrsrestart.h into buildroot upon `make install`.
* Thu Dec 24 2020 Jan Engelhardt <jengelh@inai.de>
  - Update to release 7.1a
    * Fixed memory leak in countonly option for mplrs/lrs.
* Sat Jun 06 2020 Jan Engelhardt <jengelh@inai.de>
  - Update to release 7.1
    * lrs: redund function is now performed by lrs via options, but
      legacy redund maintained.
    * lrs: extract option to extract columns from the input especially
      with linearities.
    * lrs: hvref makes a cross reference list between H and V
      representations.
    * mplrs: Temporary files no longer used for communicating with
      workers.
    * mplrs: Parallel version of redund is now available.
  - Drop lrs-version.diff. Add lrs-types.diff.
* Mon Nov 04 2019 Jan Engelhardt <jengelh@inai.de>
  - Update to release 7.0a
    * Misplaced leaf test degraded performance and has been fixed.
    * Bug in volume computation in mplrs fixed.
    * Default cache limit set back to 10 to allow large parallel
      runs with low memory.
    * Reintroduced buffer for removing most duplicates when
      allbases option is set.
    * lrs1/2 on overflow no longer gives core dump.
* Sat Mar 16 2019 Jan Engelhardt <jengelh@inai.de>
  - Update to upstream rerelease 7.0
    (replacing tarballs sucks, upstream!)
    - -- lrslib-070~/lrslib.c 2018-06-25 12:30:34.000000000 +0200
    +++ lrslib-070/lrslib.c 2018-10-23 08:22:44.000000000 +0200
* Sat Oct 20 2018 Jan Engelhardt <jengelh@inai.de>
  - Update to new upstream release 7.0
    * hybrid (64bit/128bit/GMP) arithmetic implemented:
    * speedups of roughly 3-5 times (64bit) and 2 times(128bit)
      over GMP for problems using small integers.
    * overflow checking for 64/128 bit arithmetic
    * __int128 (gcc v.4.6.0 or later) and FLINT arithmetic now supported
    * lrsgmp, mplrsgmp uses only GMP arithmetic, same as lrslib-062
    * lrs/redund/mplrs start in 64 bit moving to 128 bit and then
      to gmp arithmetic as necessary.
    * single arithmetic versions of lrs/mplrs available for
      comparison purposes.
    * single arithmetic versions of lrsnash are available with
      overflow checking.
    * plrs is no longer supported
    * removing the -DSAFE option disables overflow checking in
      64/128 bit mode and results are unpredicable if overflow
      occurs.
    * mplrs now prints maximum tree depth at end and supports
      printcobasis option in input files.
  - Drop lrs-am.diff (no longer wanted). Add lrs-version.diff
    and lrs-128.diff.
* Sat Jun 23 2018 jengelh@inai.de
  - lrs-am.diff: add -lpthread for programs using boost_thread
* 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/lrs
/usr/bin/lrsnash
/usr/share/doc/packages/lrslib
/usr/share/doc/packages/lrslib/README
/usr/share/licenses/lrslib
/usr/share/licenses/lrslib/COPYING

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 21:45:44 2024