The CLooG Code Generator in the Polytope Model - View it on GitHub