Search for lrs and redund in the polyhedron sub-directory.