[PPL-devel] ppl/tests/Polyhedron LP_Problem1.cc LP_Problem3.cc