lrs home page 

 lrslib Ver 6.1 is a self-contained ANSI C implementation of the reverse search algorithm for  vertex enumeration/convex hull problems and comes with a choice of three arithmetic packages. Input file formats are compatible with Komei Fukuda's cdd package. All computations are done exactly in either multiple  precision or fixed integer arithmetic. Output is not stored in memory, so even problems with very large output sizes can sometimes be solved. The program is intended for Unix/Linux platforms, but will compile using gcc/cygwin on Windows.

Download    

New: parallel versions plrs/mplrs offer near linear speedups for many problems on a wide range of hardware.

Documentation:  User's Guide   lrslib Guide   Theoretical Description   Computational Results  Applications   
                                    mplrs/plrs Computational Results (new)    mplrs:Theoretical Description(new)

Drivers:


Interface: Libraries: Demos: Links to related software

David Avis               avis@cs.mcgill.ca      2016.04.11                   School of Informatics, Kyoto University and School of Computer Science, McGill University