[PPL-devel] [Fwd: Re: Parma Polyhedra Library 0.10.1]