1 [COPY] --- T2-COPYRIGHT-NOTE-BEGIN ---
2 [COPY] T2 SDE: package/*/isl/isl.desc
3 [COPY] Copyright (C) 2013 - 2022 The T2 SDE Project
5 [COPY] This Copyright note is generated by scripts/Create-CopyPatch,
6 [COPY] more information can be found in the files COPYING and README.
8 [COPY] This program is free software; you can redistribute it and/or modify
9 [COPY] it under the terms of the GNU General Public License version 2.
10 [COPY] --- T2-COPYRIGHT-NOTE-END ---
12 [I] Library for manipulating sets and relations of integer points
14 [T] Library for manipulating sets and relations of integer points bounded by
15 [T] linear constraints
17 [U] http://isl.gforge.inria.fr
19 [A] Sven Verdoolaege <skimo@kotnet.org>
20 [M] Gerardo Di Iorio <arete74@gmail.com>
27 [P] X 0-2--5---9 102.250
29 [D] 2cf2695afb823f740c8e5e3014066bf4a3e73d7cc9d73bac9eb3f3ab isl-0.24.tar.xz https://libisl.sourceforge.io/