lnk:lib/libisl.so
lnk:lib/libisl.so.23
lib:lib/libisl.so.23.2.0
