Sample programs that use lrslib

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

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

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

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

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

Plrs implements the reverse search algorithm for vertex enumeration/convex hull problems. The input file format is compatible with Komei Fukuda's cdd package...