lrslib-devel-7.2-1.2 RPM for riscv64

From OpenSuSE Ports Tumbleweed for riscv64

lrslib is a library for the reverse search algorithm for vertex
enumeration/convex hull problems and comes with a choice of three
arithmetic packages.

This subpackage contains libraries and header files for developing
applications that want to make use of lrslib.

Provides

• lrslib-devel
• lrslib-devel(riscv-64)

Requires

• liblrs1 = 7.2
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-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/include/lrslib
/usr/include/lrslib/lrsdriver.h
/usr/include/lrslib/lrsgmp.h
/usr/include/lrslib/lrslib.h
/usr/include/lrslib/lrslong.h
/usr/include/lrslib/lrsmp.h
/usr/include/lrslib/lrsrestart.h
/usr/lib64/liblrs.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Nov 19 01:14:14 2024