plrs - Man Page
Parallel reverse search for vertex enumeration/convex hull problems
Synopsis
lrs FILE
Description
Plrs implements the reverse search algorithm for vertex enumeration/convex hull problems. The input file format is compatible with Komei Fukuda's cdd package (cddlib); see lrslib(5). All computations are done exactly in multiple precision integer arithmetic. Output is not stored in memory, so even problems with very large output sizes can sometimes be solved.
Unlike lrs(1), this implementation works in parallel.
File Format
The input file should be in the format documented at http://cgm.cs.mcgill.ca/~avis/C/lrslib/USERGUIDE.html#File%20Formats.
Exit Status
The exit status is one if an error is encountered, or zero otherwise.
See Also
lrs(1), lrs-2nash(1), lrs-buffer(1), lrs-float2rat(1), lrs-fourier(1), lrsnash(1), lrs-rat2float(1), lrs-redund(1), lrs-setupnash(1), lrs-setupnash2(1)
Referenced By
lrs-2nash(1), lrs-buffer(1), lrs-float2rat(1), lrs-fourier(1), lrs-rat2float(1), lrs-setupnash(1), lrs-setupnash2(1).