plrs - Man Page

Parallel reverse search for vertex enumeration/convex hull problems


lrs FILE


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

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).