給定一針對多維度的一組限制，cloog 可以解出以何種方式可以掃描所有整數解。請見 [[http://www.bastoul.net/cloog/manual.php#Basics|1.1 Basically, what's the point?]]。Polyhedral Model 的簡介請見 [[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.162.836&rep=rep1&type=pdf|Code Generation in the Polyhedral Model Is Easier Than You Think]]，也可見 [[wp>Compilers: Principles, Techniques, and Tools]] 11.3 Iteration Spaces 一節。
====== 安裝 CLooG ======
<code bash>
$ wget http://www.bastoul.net/cloog/pages/download/count.php3?url=./cloog-0.16.2.tar.gz
$ tar xvf cloog-0.16.2.tar.gz
$ mkdir install build; cd build
$ ../cloog-0.16.2/configure --prefix=$INSTALL
$ make; make check; make install
</code>
====== 使用 CLooG ======
''cloog'' 的輸入其格式請見 [[http://www.bastoul.net/cloog/manual.php#Writing-The-Input-File|2.2 Writing The Input File]]。簡介請見 [[http://www.bastoul.net/cloog/manual.php#A-First-Example|2.1 A First Example ]]。
<code bash>
# 求解
$ cloog cloog-0.16.2/test/test.cloog
</code>
====== 外部連結 ======
  * [[http://www.cloog.org/|CLooG]]