Package lrslib-utils

Sample programs that use lrslib

http://cgm.cs.mcgill.ca/~avis/C/lrs.html

General Commands (Section 1)
lrs
Lrs implements the reverse search algorithm for vertex enumeration/convex hull problems. The input file format is compatible with Komei Fukuda's cdd package...
lrs-2nash
Lrs-2nash computes all Nash equilibria for a 2-person game, described by 2 payoff matrices, A and B. The matrices A and B are the output of lrs-setupnash(1) or...
lrs-buffer
Lrs-buffer builds a circular buffer of MAXBUFFER lines, each of which has maximum length MAXLINE. Stdin is read. Each line is printed to stdout only if it is...
lrs-float2rat
Lrs-float2rat reads a polyhedron file, or stdin if no file is given, and converts its floating point coefficients to rational coefficients. Each floating point...
lrs-fourier
Lrs-fourier computes a projection from a higher dimension to a lower dimension using Fourier Elimination. INFILE must be of type integer or rational only. The...
lrsnash
Lrsnash computes all Nash equilibria for a 2-person game, described by 2 payoff matrices, A and B. The matrices A and B are the output of lrs-setupnash(1) or...
lrs-rat2float
Lrs-rat2float reads a polyhedron file, or stdin if no file is given, and converts its rational coefficients to floating point approximations. The resulting...
lrs-redund
Lrs-redund removes all redundant rows from an H-representation or V-representation. If INFILE is not given, then input is read from stdin. If OUTFILE is not...
lrs-setupnash
convert payoff matrices into nash input
lrs-setupnash2
convert payoff matrices into nash input
plrs
Plrs implements the reverse search algorithm for vertex enumeration/convex hull problems. The input file format is compatible with Komei Fukuda's cdd package...