【介绍】

isl 是Integer Set Library的简写，是一款操作集和线性约束范围内整数点关系的库。支持的操作集包括：交集、并集、差集、空虚检查，凸壳、仿射包（整数）、整数投影，以及使用参数整数规划进行最小限度的字典计算。它还包括一个整数的规划求解基于广义的基础。

isl(Integer Set Library) is a library for manipulating sets and relations of integer points bounded by linear constraints.

官网：http://isl.gforge.inria.fr/

手册：http://isl.gforge.inria.fr/manual.pdf

参考：https://cloud.tencent.com/info/2d9a0bd47816f5976d48646746eab311.html
参考：https://blog.csdn.net/K346K346/article/details/51816704
参考：https://cloud.tencent.com/info/c8ae92b0c91ed69c95df7c11589932b2.html

【安装】

下载：http://isl.gforge.inria.fr/
下载：ftp://gcc.gnu.org/pub/gcc/infrastructure/

最新版本：isl-0.20.tar.xz 2018-07-28

wget http://isl.gforge.inria.fr/isl-0.20.tar.bz2 && tar -jxvf isl-0.20.tar.bz2 && cd isl-0.20 && ./configure && make && make install

参考：https://amon.org/gcc