Hi GAI.
Welcome to the forum.
There's a handy command to search for files called provides.sh
To lookup a missing file, simply type
provides.sh libisl.so.15
If you check the drop box [Search] of the GUI apps manager.
You'll see [Provides], which yields the same result.