2025-02-09 23:31:02 +01:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Sun Feb 9 22:24:17 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
|
|
|
|
|
|
- Update to release 7.3
|
|
|
|
|
* lrs is now multithreaded with limited parallelization on a
|
|
|
|
|
shared memory machine using OpenMP. lrs now evaluates in
|
|
|
|
|
parallel all children of the root in the search tree.
|
|
|
|
|
* minrep finds any hidden linearities and removes redundancy
|
|
|
|
|
giving a H/V description with minimum number of rows.
|
|
|
|
|
* `mplrs -minrep`: Fully parallelized version of minrep,
|
|
|
|
|
replaces `mplrs -redund`.
|
|
|
|
|
* `mplrs -fel` Does a fully parallel LP redundancy removal in
|
|
|
|
|
one step of Fourier-Motzin elimination.
|
|
|
|
|
* New features:
|
|
|
|
|
* Checks equivalency between H/V representations (possibly
|
|
|
|
|
after projections) using SMT solvers, see the polyv man page
|
|
|
|
|
for details.
|
|
|
|
|
|
2022-07-16 20:25:52 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
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)
|
|
|
|
|
|
2021-06-25 15:12:32 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
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`.
|
|
|
|
|
|
2020-12-24 12:33:17 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
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.
|
|
|
|
|
|
2020-06-06 23:41:56 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
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.
|
2020-06-06 23:52:53 +00:00
|
|
|
- Drop lrs-version.diff. Add lrs-types.diff.
|
2020-06-06 23:41:56 +00:00
|
|
|
|
2019-11-04 14:22:33 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
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.
|
|
|
|
|
|
2019-03-16 14:12:09 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
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
|
|
|
|
|
|
2019-03-15 21:11:18 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
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.
|
2019-03-16 08:39:45 +00:00
|
|
|
- Drop lrs-am.diff (no longer wanted). Add lrs-version.diff
|
|
|
|
|
and lrs-128.diff.
|
2019-03-15 21:11:18 +00:00
|
|
|
|
2018-06-23 08:32:27 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Sat Jun 23 08:32:02 UTC 2018 - jengelh@inai.de
|
|
|
|
|
|
|
|
|
|
- lrs-am.diff: add -lpthread for programs using boost_thread
|
|
|
|
|
|
2017-02-21 00:19:16 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
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.
|
|
|
|
|
|
2016-04-02 15:38:45 +00:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
|
Sun Mar 27 12:01:00 UTC 2016 - jengelh@inai.de
|
|
|
|
|
|
|
|
|
|
- Initial package (version 061) for build.opensuse.org
|
