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