lrslib - package to enumerate vertices and extreme rays of a convex polyhedron

Distribution: Debian 8 (Jessie)
Repository: Debian Main amd64
Package name: lrslib
Package version: 0.43
Package release: 1
Package architecture: amd64
Package type: deb
Installed size: 586 B
Download size: 65.42 KB
Official Mirror:
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.



    Binary package: lrslib_0.43-1_amd64.deb
    Source package: lrslib

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install lrslib deb package:
      # sudo apt-get install lrslib


    • /usr/bin/2nash
    • /usr/bin/lrs
    • /usr/bin/lrsbuffer
    • /usr/bin/lrsfourier
    • /usr/bin/nash
    • /usr/bin/redund
    • /usr/bin/setupnash
    • /usr/bin/setupnash2
    • /usr/share/doc/lrslib/README.Debian
    • /usr/share/doc/lrslib/changelog.Debian.gz
    • /usr/share/doc/lrslib/copyright
    • /usr/share/doc/lrslib/readme.gz
    • /usr/share/man/man1/2nash.1.gz
    • /usr/share/man/man1/lrs.1.gz
    • /usr/share/man/man1/lrsbuffer.1.gz
    • /usr/share/man/man1/lrsfourier.1.gz
    • /usr/share/man/man1/lrslib.1.gz
    • /usr/share/man/man1/nash.1.gz
    • /usr/share/man/man1/redund.1.gz
    • /usr/share/man/man1/setupnash.1.gz
    • /usr/share/man/man1/setupnash2.1.gz


    2013-08-11 - David Bremner <> lrslib (0.43-1) unstable; urgency=low * New upstream release * Enable hardening flags * Update Standards-version to 3.9.4 (no mandatory changes, debian/copyright syntax tidied.)

    2009-10-16 - David Bremner <> lrslib (0.42c-1) unstable; urgency=low * Initial release (Closes: #454469)