libisl15 software package provides manipulating sets and relations of integer points bounded by linear constraints, you can install in your Ubuntu 16.04 LTS (Xenial Xerus) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install libisl15
libisl15 is installed in your system.
Make ensure the libisl15 package were installed using the commands given below,
$ sudo dpkg-query -l | grep libisl15 *
You will get with libisl15 package name, version, architecture and description in a table
| Distro | Ubuntu 16 04 lts xenial xerus |
| Section | Libraries |
| Package | libisl15 |
| Version | 0.16.1-1 |
| Description | manipulating sets and relations of integer points bounded by linear constraints |
| Sub Section | Libs |