給定一針對多維度的一組限制,cloog 可以解出以何種方式可以掃描所有整數解。請見 1.1 Basically, what's the point?。Polyhedral Model 的簡介請見 Code Generation in the Polyhedral Model Is Easier Than You Think,也可見 Compilers: Principles, Techniques, and Tools 11.3 Iteration Spaces 一節。
$ 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
cloog
的輸入其格式請見 2.2 Writing The Input File。簡介請見 2.1 A First Example 。
# 求解 $ cloog cloog-0.16.2/test/test.cloog