isl package in openKylin
libisl-dev: manipulating sets and relations of integer points bounded by linear constraints
libisl23: manipulating sets and relations of integer points bounded by linear constraints
libisl23-dbgsym: debug symbols for libisl23