Re: [PPL-devel] Polyhedra formats and ppl_lcdd