How to Install and Uninstall isl-devel.x86_64 Package on Amazon Linux 2

Last updated: November 25,2024

1. Install "isl-devel.x86_64" package

This is a short guide on how to install isl-devel.x86_64 on Amazon Linux 2


    
        
            $
        

        
            
                sudo yum makecache
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo yum install
            
                        
                isl-devel.x86_64
            
                    
    
    Copied

2. Uninstall "isl-devel.x86_64" package

Please follow the steps below to uninstall isl-devel.x86_64 on Amazon Linux 2:


    
        
            $
        

        
            
                sudo yum remove 
            
                        
                isl-devel.x86_64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo yum autoremove
            
                    
    
    Copied

3. Information about the isl-devel.x86_64 package on Amazon Linux 2

Loaded plugins: ovl, priorities
Available Packages
Name : isl-devel
Arch : x86_64
Version : 0.16.1
Release : 6.amzn2
Size : 514 k
Repo : amzn2-core/2/x86_64
Summary : Development for building integer point manipulation library
URL : http://isl.gforge.inria.fr/
License : MIT
Description : 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, computing
: the lexicographic minimum using parametric integer programming,
: coalescing and parametric vertex enumeration. It also includes an
: ILP solver based on generalized basis reduction, transitive
: closures on maps (which may encode infinite graphs), dependence
: analysis and bounds on piecewise step-polynomials.