CLooG is a free software and library to generate code for scanning Z-polyhedra.