编译，多面体库

1）

barvinok是一个用于计算整数点数的库
在参数和非参数多面体以及投影中
这样的集合。
对于参数多面体，计数由以下任一表示
显式函数或生成函数。
第一种是分段阶跃多项式的形式。
这是Ehrhart拟多项式的推广
以及向量分割函数。
第二个是Ehrhart级数的推广。

The library includes isl and PolyLib and uses NTL.

这玩意不知道是干嘛的？

2）isl是一个用于操纵由线性约束约束约束的整数点的集合和关系的库。支持的集合操作包括交集、并集、集差、空校验、凸包、（整数）仿射包、整数投影，以及使用参数整数规划计算字典最小值。它还包括一个基于广义基约化的ILP求解器。isl是在MIT许可下发布的。

https://repo.or.cz/w/isl.git

这个知道，但是今天下载不了

isl是一个用于操纵由线性约束约束约束的整数点的集合和关系的库。支持的集合操作包括交集、并集、集差、空校验、凸包、（整数）仿射包、整数投影、使用参数整数规划计算字典最小值、合并和参数顶点枚举。它还包括一个基于广义基约简的ILP求解器、映射上的传递闭包（可以编码无限图）、依赖性分析和分段步长多项式的边界。有关更多信息，请参阅在线用户手册（html）或完整手册（pdf）。有关基本概念的介绍，请参阅Presburger公式和多面体编译。barvinok包包含一个iscc计算器，它公开了isl支持的一些操作。

3）下面这个是对的

for (i = 0; i < 3; ++i)
for (j = 0; j < 3; ++j)
A[i][j] = i * j;