Examples from chapter 5, in CPLEX lp format.

To read into polymake, use e.g.

    $P=lp2poly<Rational>('example-5.1.lp');

To solve with glpsol, use

    glpsol --lp example-5.1.lp