ISL
===

.. toctree::
   :maxdepth: 1
   :caption: Contents:

About
-----

`ISL`_ is a library for manipulating sets and relations of integer points bounded by linear constraints. It depends on the :doc:`gmp` library.

Versions available
------------------

.. important:: ISL is included in the embedded third-party library in all GCC builds available in the software repository. See :doc:`gcc`.

If you want to add ISL support to the baseline version of GCC, there are environment modules that provide access to the ISL installation. To list those modules execute on login node:

.. code-block:: bash

 module available isl

Then select the required version and gain access to its installation by executing:

.. code-block:: bash

 module load isl/0/latest-gcc

You need to load the corresponding :doc:`gmp` module, since ISL installation depends on the installation of GMP. For example:

.. code-block:: bash

 module load gmp/6/latest-gcc

Build recipe
------------

If you are interested in the recipe we followed to compile the programming code of ISL, you can find it here:

https://gitlab.discoverer.bg/vkolev/recipes/-/tree/main/isl

Getting help
------------

See :doc:`help`

.. _`ISL`: https://libisl.sourceforge.io/