File lrslib.changes of Package lrslib
-------------------------------------------------------------------
Sat Jul 16 20:21:34 UTC 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 14:53:50 UTC 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 12:30:51 UTC 2020 - Jan Engelhardt <jengelh@inai.de>
- Update to release 7.1a
* Fixed memory leak in countonly option for mplrs/lrs.
-------------------------------------------------------------------
Sat Jun 6 23:40:11 UTC 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 4 13:03:41 UTC 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 12:28:58 UTC 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 12:15:17 UTC 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 08:32:02 UTC 2018 - jengelh@inai.de
- lrs-am.diff: add -lpthread for programs using boost_thread
-------------------------------------------------------------------
Tue Feb 21 00:18:49 UTC 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 12:01:00 UTC 2016 - jengelh@inai.de
- Initial package (version 061) for build.opensuse.org
