ISL - Integer Set Library

From MetaCentrum
Jump to navigation Jump to 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