給定一針對多維度的一組限制,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 一節。

安裝 CLooG

$ 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

cloog 的輸入其格式請見 2.2 Writing The Input File。簡介請見 2.1 A First Example

# 求解
$ cloog cloog-0.16.2/test/test.cloog

外部連結

登录