Integer set library とは

isl(整数集合ライブラリ)は、線形制約によって束縛された整数点の集合と関係を操作する移植性のあるCライブラリです。
次の操作がサポートされています。
 パラメトリック整数を使用して辞書編集最小値を計算するプログラミングパラメトリック頂点列挙
また、一般化された基底削減、マップ上の推移閉包(無限グラフを符号化する可能性がある)、依存分析、区分的な階数多項式の境界に基づくILPソルバーも含まれています。
すべての計算は、GMPまたはimathを使った正確な整数計算で実行されます。
多くのプログラム解析テクニックは、整数セットの操作に基づいています。整数は、通常、ループネストの反復または配列の要素を表します。 islは、パラメトリック整数プログラミングを使用して、整数除算の観点から明示的な表現を得る。
ループ最適化のためにGCC Graphiteフレームワークのバックエンド多面体ライブラリとして使用されます。