Lrslib

• lrs(1) lrs - Convert between representations of convex polyhedra, remove redundant inequalities, convex hull computation, volume, triangulation, solution to
• lrslib(1) lrslib: Convert between representations of convex polyhedra, remove redundant inequalities, convex hull computation, solve linear programs in exact
• lrsnash(1) lrsnash: \ Compute Nash-equibria in 2-person games.