How to Install and Uninstall libisl15 Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 17,2024

1. Install "libisl15" package

Please follow the instructions below to install libisl15 on Ubuntu 16.04 LTS (Xenial Xerus)

$ sudo apt update $ sudo apt install libisl15

2. Uninstall "libisl15" package

Learn how to uninstall libisl15 on Ubuntu 16.04 LTS (Xenial Xerus):

$ sudo apt remove libisl15 $ sudo apt autoclean && sudo apt autoremove

3. Information about the libisl15 package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libisl15
Priority: optional
Section: libs
Installed-Size: 1674
Maintainer: Ubuntu Developers
Original-Maintainer: Debian GCC Maintainers
Architecture: amd64
Source: isl
Version: 0.16.1-1
Depends: libc6 (>= 2.14), libgmp10
Filename: pool/main/i/isl/libisl15_0.16.1-1_amd64.deb
Size: 524254
MD5sum: eec42a28e5ed8a5eaaf6278b455176ed
SHA1: b6f0b5bfa4dea071d7ccc06b1cc641985f6dfdff
SHA256: 842d832c28ded8725303ef42e81ff3b190371ab1f0617196a5290adf91e3a60d
Description-en: manipulating sets and relations of integer points bounded by linear constraints
isl is a library for manipulating sets and relations of integer points
bounded by linear constraints. Supported operations on sets include
intersection, union, set difference, emptiness check, convex hull,
(integer) affine hull, integer projection, and computing the lexicographic
minimum using parametric integer programming. It also includes an ILP solver
based on generalized basis reduction.
.
This package contains the runtime library.
Description-md5: b718cf54a9174f62d55d1d78f6212d22
Multi-Arch: same
Homepage: http://isl.gforge.inria.fr/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Build-Essential: yes
Origin: Ubuntu
Supported: 5y
Task: ubuntu-desktop, ubuntu-usb, kubuntu-desktop, edubuntu-desktop, edubuntu-usb, xubuntu-core, xubuntu-desktop, mythbuntu-desktop, lubuntu-core, ubuntustudio-desktop-core, ubuntustudio-desktop, ubuntu-gnome-desktop, ubuntukylin-desktop, ubuntu-mate-core, ubuntu-mate-desktop, ubuntu-mate-cloudtop