How To Install isl.i686 on Amazon Linux 2

In this tutorial we learn how to install isl.i686 in Amazon Linux 2. isl.i686 is Integer point manipulation library

Introduction

In this tutorial we learn how to install isl.i686 on Amazon Linux 2.

What is `isl.i686`

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.

We can use yum to install isl.i686 on Amazon Linux 2. In this tutorial we discuss both methods but you only need to choose one of method to install isl.i686.

Install isl.i686 on Amazon Linux 2 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install isl.i686 using yum by running the following command:

sudo yum -y install isl.i686

How To Uninstall isl.i686 on Amazon Linux 2

To uninstall only the isl.i686 package we can use the following command:

sudo yum remove isl.i686

isl.i686 Package Contents on Amazon Linux 2

/usr/lib/libisl.so.13
/usr/lib/libisl.so.13.1.0
/usr/lib/libisl.so.15
/usr/lib/libisl.so.15.1.1
/usr/share/doc/isl-0.16.1
/usr/share/doc/isl-0.16.1/AUTHORS
/usr/share/doc/isl-0.16.1/ChangeLog
/usr/share/doc/isl-0.16.1/README
/usr/share/gdb/auto-load/usr/lib/libisl.so.13.1.0-gdb.py
/usr/share/gdb/auto-load/usr/lib/libisl.so.15.1.1-gdb.py
/usr/share/licenses/isl-0.16.1
/usr/share/licenses/isl-0.16.1/LICENSE

References

isl.i686 website

Summary

In this tutorial we learn how to install isl.i686 on Amazon Linux 2 using yum.