1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81

Source: lrslib
Section: math
Priority: optional
Maintainer: David Bremner <bremner@debian.org>
BuildDepends: debhelpercompat (= 13),
libgmpdev,
mpidefaultdev
StandardsVersion: 4.5.0
Homepage: http://cgm.cs.mcgill.ca/~avis/C/lrs.html
VcsGit: https://salsa.debian.org/scienceteam/lrslib/
VcsBrowser: https://salsa.debian.org/scienceteam/lrslib.git
Package: lrslib
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends}
Description: package to enumerate vertices and extreme rays of a convex polyhedron
A convex polyhedron is the set of points satisfying a finite family
of linear inequalities. The study of the vertices and extreme rays
of such systems is important and useful in e.g. mathematics and
optimization. In a dual interpretation, finding the vertices of a
(bounded) polyhedron is equivalent to finding the convex hull
(bounding inequalities) of an (arbitrary dimensional) set of points.
Lrs (lexicographic reverse search) has two important features that
can be very important for certain applications: it works in exact
arithmetic, and it consumes memory proportional to the input, no
matter how large the output is.
Package: mplrs
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends}
Description: package to enumerate vertices and extreme rays of a convex polyhedron (parallel binary)
A convex polyhedron is the set of points satisfying a finite family
of linear inequalities. The study of the vertices and extreme rays
of such systems is important and useful in e.g. mathematics and
optimization. In a dual interpretation, finding the vertices of a
(bounded) polyhedron is equivalent to finding the convex hull
(bounding inequalities) of an (arbitrary dimensional) set of points.
Lrs (lexicographic reverse search) has two important features that
can be very important for certain applications: it works in exact
arithmetic, and it consumes memory proportional to the input, no
matter how large the output is.
.
This package contains the parallel binary mplrs for use with mpi
Package: liblrs1
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends}
Description: package to enumerate vertices and extreme rays (shared libraries)
A convex polyhedron is the set of points satisfying a finite family
of linear inequalities. The study of the vertices and extreme rays
of such systems is important and useful in e.g. mathematics and
optimization. In a dual interpretation, finding the vertices of a
(bounded) polyhedron is equivalent to finding the convex hull
(bounding inequalities) of an (arbitrary dimensional) set of points.
Lrs (lexicographic reverse search) has two important features that
can be very important for certain applications: it works in exact
arithmetic, and it consumes memory proportional to the input, no
matter how large the output is.
.
This package contains the (required) shared library.
Package: liblrsdev
Architecture: any
Depends: liblrs1 (=${binary:Version}), ${misc:Depends}, ${shlibs:Depends}
Breaks: liblrsgmpdev (<< 0.70)
Replaces: liblrsgmpdev (<< 0.70)
Section: libdevel
Description: package to enumerate vertices and extreme rays (development file)
A convex polyhedron is the set of points satisfying a finite family
of linear inequalities. The study of the vertices and extreme rays
of such systems is important and useful in e.g. mathematics and
optimization. In a dual interpretation, finding the vertices of a
(bounded) polyhedron is equivalent to finding the convex hull
(bounding inequalities) of an (arbitrary dimensional) set of points.
Lrs (lexicographic reverse search) has two important features that
can be very important for certain applications: it works in exact
arithmetic, and it consumes memory proportional to the input, no
matter how large the output is.
.
This package contains the optional headers, and a unversioned symlink
to the library, useful for developers.
