| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: lrslib-devel | Distribution: openSUSE:Factory:zSystems |
| Version: 7.2 | Vendor: openSUSE |
| Release: 1.5 | Build date: Sun Mar 19 23:57:32 2023 |
| Group: Development/Libraries/C and C++ | Build host: s390zp21 |
| Size: 69888 | Source RPM: lrslib-7.2-1.5.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: http://cgm.cs.mcgill.ca/~avis/C/lrs.html | |
| Summary: Development files for Reverse Search Vertex Enumeration | |
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.
GPL-2.0-or-later
* 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
/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, Sat Mar 9 12:50:11 2024