General

Many affine loop nest analysis and optimization techniques are based on the well-known polyhedral model framework. Namely, iterations and array references are represented by integer points in bounded polyhedra, or Z-polyhedra. In this tool demonstration paper, we present our library ZPoly-Trans dealing with: (i) computing integer affine transforma-tions of Z-polyhedra, (ii) counting integer solutions to such transformations