ISL - Integer Set Library

From MetaCentrum
Jump to: navigation, search

Description

Library for manipulating sets and relations of integer points bounded by affine constraints.

Availability

Versions 0.11, 0.11.1, 0.16.1, and 201604.

Use

module add isl-201604

Documentation

http://isl.gforge.inria.fr//user.html

Licence

MIT license

Homepage

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

Program manager

meta@cesnet.cz