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

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main amd64
Package filename lrslib_0.70-3_amd64.deb
Package name lrslib
Package version 0.70
Package release 3
Package architecture amd64
Package type deb
Category math role::program
License -
Maintainer David Bremner <>
Download size 29.02 KB
Installed size 96.00 KB
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 Version Architecture Repository
lrslib_0.70-3_i386.deb 0.70 i386 Debian Main
lrslib - - -


Name Value
libc6 >= 2.7
libgmp10 -
liblrs0 >= 0.70


Type URL
Binary Package lrslib_0.70-3_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




2019-01-13 - David Bremner <>
lrslib (0.70-3) unstable; urgency=medium
* upload to unstable
* pass CFLAGS from dpkg-buildflags to make (fix generation of dbgsym
2019-01-13 - David Bremner <>
lrslib (0.70-2) experimental; urgency=medium
* Drop build of 128 bit arithmetic on 32 bit arches.  (Closes: #919086).
2019-01-07 - David Bremner <>
lrslib (0.70-1) experimental; urgency=medium
* Major new upstream release.
* Replace arithmetic specific libraries liblrsgmp{1,-dev} with
liblrs{0,-dev}. This is a severe ABI break, all clients will need to
be recompiled.
* New adaptive arithmetic feature restarts with wider arithmetic when
there is potential overflow
2017-07-04 - David Bremner <>
lrslib (0.62-2) unstable; urgency=medium
* rebuild for unstable
* fix watchfile
* update versioned depends on debhelper to >=10
2017-02-21 - David Bremner <>
lrslib (0.62-1) experimental; urgency=low
* New upstream release
2015-07-23 - David Bremner <>
lrslib (0.51-2) unstable; urgency=medium
* upload to unstable
2015-02-03 - David Bremner <>
lrslib (0.51-1) experimental; urgency=low
* new upstream release
* rename shared library to include arithmetic type
* drop static library, see if anyone complains.
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)

See Also

Package Description
lrzip_0.631+git180528-1_amd64.deb compression program with a very high compression ratio
lrzsz_0.12.21-10_amd64.deb Tools for zmodem/xmodem/ymodem file transfer
lsb-base_10.2019051400_all.deb Linux Standard Base init script functionality
lsb-release_10.2019051400_all.deb Linux Standard Base version reporting utility
lsdb_0.11-10.1_all.deb The Lovely Sister Database (email rolodex) for Emacs
lsdvd_0.17-1+b1_amd64.deb read the content info of a DVD
lsh-client_2.1-12_amd64.deb Secure Shell v2 (SSH2) protocol client
lsh-doc_2.1-12_all.deb Secure Shell v2 (SSH2) documentation
lsh-server_2.1-12_amd64.deb Secure Shell v2 (SSH2) protocol server
lsh-utils_2.1-12_amd64.deb Secure Shell v2 (SSH2) protocol utilities
lshw-gtk_02.18.85-0.1_amd64.deb graphical information about hardware configuration
lshw_02.18.85-0.1_amd64.deb information about hardware configuration
lskat_18.04.1-1_amd64.deb Lieutnant Skat card game
lsm_1.0.4-1_amd64.deb Link connectivity monitor tool
lsmbox_2.1.3-1+b4_amd64.deb List number of total/unread messages for mailboxes