isl: Sets and relations of integer points bounded by affine constraints¶
Description¶
isl is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints. The descriptions of the sets and relations may involve both parameters and existentially quantified variables. All computations are performed in exact integer arithmetic using GMP.
License¶
isl is released under the MIT license, but depends on the LGPL GMP library.
Upstream Contact¶
Citation¶
@incollection{Verdoolaege2010isl,
author = {Verdoolaege, Sven},
title = {isl: An Integer Set Library for the Polyhedral Model},
booktitle = {Mathematical Software - ICMS 2010},
series = {Lecture Notes in Computer Science},
editor = {Fukuda, Komei and Hoeven, Joris and Joswig, Michael and
Takayama, Nobuki},
publisher = {Springer},
isbn = {978-3-642-15581-9},
pages = {299-302},
volume = {6327},
year = {2010}
}
Type¶
optional
Version Information¶
package-version.txt:
0.20
Equivalent System Packages¶
conda:
$ conda install isl15-devel
cygwin:
$ apt-cyg install isl15-devel
Debian/Ubuntu:
$ sudo apt-get install isl15-devel
Fedora/Redhat/CentOS:
$ sudo yum install isl15-devel
freebsd:
$ sudo pkg install isl15-devel
gentoo:
$ sudo emerge isl15-devel
homebrew:
$ brew install isl15-devel
macports: install the following packages: isl15-devel opensuse:
$ sudo zypper install isl15-devel
void:
$ sudo xbps-install isl15-devel
See https://repology.org/project/isl15-devel/versions
If the system package is installed, ./configure will check whether it can be used.