怎样编译安装isl

2019年3月26日 | 分类: 【技术】

【介绍】

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