usr/local/lib/libisl.so.23.1.0
usr/local/lib/libisl.so
usr/local/lib/libisl.so.23