isl source package in Yangtze V1.0
libisl-dev: manipulating sets and relations of integer points bounded by linear constraints
libisl22: manipulating sets and relations of integer points bounded by linear constraints
libisl22-dbgsym: debug symbols for libisl22