isl
1.1、isl简介

islInteger Set Library

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

1.2、通过包管理器安装isl
操作系统包管理器安装命令
macOSHomeBrewbrew install isl
GNU/LinuxLinuxBrewbrew install isl
aptsudo apt-get install -y isl
CentOSyumsudo yum install -y isl
dnfsudo dnf install -y isl
openSUSEzyppersudo zypper install -y isl-devel
Alpine Linuxapksudo apk add isl

Arch Linux

ArcoLinux

Manjaro Linux

pacmansudo pacman -Syyu --noconfirm
sudo pacman -S    --noconfirm isl
Gentoo LinuxPortagesudo emerge isl
1.3、通过编译源码安装isl
1.4、isl中包含的头文件
1.5、isl中包含的库文件
  • libisl.{a | so | dylib}