Title: isl.tcz Description: integer set library Version: 0.24 Author: see list of sites below Original-site: see list of sites below Copying-policy: see list of sites below Size: 988KB 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.24 - MIT - http://isl.gforge.inria.fr/isl-0.24.tar.xz ---------- Change-log: 2014/09/18 first version 2015/10/02 updated 0.12.2 -> 0.14.1 2016/10/20 updated 0.14.1 -> 0.17.1 2017/12/09 updated 0.17.1 -> 0.18 2020/12/21 updated 0.18 -> 0.23 2021/11/04 updated 0.23 -> 0.24 Current: 2023/12/13 recompiled on tc-15.x