<P> It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step - polynomials . </P> <P> All computations are performed in exact integer arithmetic using GMP or imath . </P> <P> Many program analysis techniques are based on integer set manipulations . The integers typically represent iterations of a loop nest or elements of an array . isl uses parametric integer programming to obtain an explicit representation in terms of integer divisions . </P> <P> It is used as backend polyhedral library in the GCC Graphite framework for loop optimizations . </P>

Isl an integer set library for the polyhedral model