用于多面体计算的PPL(Parma Polyhedra Library)后端