all options
sid  ]
[ Source: lrslib  ]

Package: liblrs1t64 (0.71b-2.1 and others)

Links for liblrs1t64

Screenshot

Debian Resources:

Download Source Package lrslib:

Maintainer:

External Resources:

Similar packages:

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.

Other Packages Related to liblrs1t64

  • depends
  • recommends
  • suggests
  • enhances

Download liblrs1t64

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 0.71b-2.1 90.1 kB354.0 kB [list of files]
amd64 0.71b-2.1+b1 99.4 kB314.0 kB [list of files]
arm64 0.71b-2.1+b1 87.9 kB354.0 kB [list of files]
armel 0.71b-2.1 65.2 kB199.0 kB [list of files]
armhf 0.71b-2.1 68.3 kB155.0 kB [list of files]
hppa (unofficial port) 0.71b-2.1 71.9 kB231.0 kB [list of files]
i386 0.71b-2.1+b1 83.5 kB248.0 kB [list of files]
ia64 (unofficial port) 0.71b-2.1 119.0 kB624.0 kB [list of files]
m68k (unofficial port) 0.71b-2.1+b1 66.1 kB198.0 kB [list of files]
mips64el 0.71b-2.1+b1 83.7 kB327.0 kB [list of files]
ppc64 (unofficial port) 0.71b-2.1 99.2 kB423.0 kB [list of files]
ppc64el 0.71b-2.1+b1 101.9 kB418.0 kB [list of files]
riscv64 0.71b-2.1+b1 103.4 kB266.0 kB [list of files]
s390x 0.71b-2.1+b1 102.1 kB366.0 kB [list of files]
sh4 (unofficial port) 0.71b-2.1 86.5 kB219.0 kB [list of files]
sparc64 (unofficial port) 0.71b-2.1 80.8 kB1,067.0 kB [list of files]
x32 (unofficial port) 0.71b-2.1 75.4 kB208.0 kB [list of files]