Changelog for lrslib-7.2-1.7.x86_64.rpm :

* Sat Jul 16 2022 Jan Engelhardt - 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 - 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 - Update to release 7.1a
* Fixed memory leak in countonly option for mplrs/lrs.
* Sat Jun 06 2020 Jan Engelhardt - 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 - 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 - 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 - 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 jengelhAATTinai.de- lrs-am.diff: add -lpthread for programs using boost_thread
* Tue Feb 21 2017 jengelhAATTinai.de- Update to new upstream release 062
* New command-line options -countonly, -stopafter , -maxbuf .
* 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 jengelhAATTinai.de- Initial package (version 061) for build.opensuse.org