[PPL-devel] visualizing polyhedra