Package “LRSLIB” has 11 man pages.

lrs(1)

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(1)

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(1)

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(1)

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(1)

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(1)

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(1)

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(1)

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

lrs-setupnash(1)

This program reads an input file containing two payoff matrices in this form: m n A matrix (m by n rationals ) B matrix (m by n rationals ) It outputs two files...

This program reads an input file containing two payoff matrices in this form: m n A matrix (m by n rationals ) B matrix (m by n rationals ) It outputs two files...

lrs-setupnash2(1)

This program reads an input file containing two payoff matrices in this form: m n A matrix (m by n rationals ) B matrix (m by n rationals ) It outputs two files...

This program reads an input file containing two payoff matrices in this form: m n A matrix (m by n rationals ) B matrix (m by n rationals ) It outputs two files...

plrs(1)

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