Title:          isl.tcz
Description:    integer set library
Version:        0.23
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 816KB
Extension_by:   juanito
Tags:	        integer point set
Comments:       library for manipulating sets and relations of integer points bounded by linear constraints
                ----------
                This extension contains:
                isl-0.23 - MIT - http://isl.gforge.inria.fr/isl-0.23.tar.bz2
                ----------
Change-log:     2014/09/22 first version
                2015/10/31 updated 0.12.2 -> 0.14.1
                2016/10/17 updated 0.14.1 -> 0.17.1
                2017/12/06 updated 0.17.1 -> 0.18.0
Current:        2020/12/14 updated 0.18.0 -> 0.23