How to Install and Uninstall libisl-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: November 26,2024

1. Install "libisl-dev" package

Please follow the step by step instructions below to install libisl-dev on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libisl-dev
            
                    
    
    Copied

2. Uninstall "libisl-dev" package

This guide covers the steps necessary to uninstall libisl-dev on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libisl-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libisl-dev package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libisl-dev
Priority: optional
Section: libdevel
Installed-Size: 3230
Maintainer: Ubuntu Developers
Original-Maintainer: Debian GCC Maintainers
Architecture: amd64
Source: isl
Version: 0.16.1-1
Depends: libisl15 (= 0.16.1-1)
Filename: pool/main/i/isl/libisl-dev_0.16.1-1_amd64.deb
Size: 579748
MD5sum: d1c103edb80eda092595a11770d5640c
SHA1: 94494a15ddbd1a0ad3ac3976d44b6f95ff5b8418
SHA256: f861b3090c52c1b193c05a2c460cc5afc71b119cf5cce1b040fe0a3b8309721c
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 development files.
Description-md5: 9330fbca4463124a77a29e9568838474
Multi-Arch: same
Homepage: http://isl.gforge.inria.fr/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu
Supported: 9m