多面体最適化は、コンパイラでループネストを最適化するために使用されるツールです。これを実装している主要なコンパイラは、多面体最適化をゼロから実装していますが、多面体最適化で使用されるコアアルゴリズムを実装した、一般的に適用可能なオープンソースのCライブラリである整数集合ライブラリ（ISL）が存在します。 この記事では、ISLのサブセットの概要を説明し、主に集合と関係の表現とその基本的な操作に焦点を当てます。