From 48e95ac8da916f6c55c8c960980a33b0e2f4f2c1 Mon Sep 17 00:00:00 2001
From: easybuild <you@example.com>
Date: Thu, 29 Jun 2023 12:15:03 +0200
Subject: [PATCH] Thu, 29 Jun 2023 12:15:03 +0200

---
 karolina.csv | 2 ++
 karolina.md  | 1 +
 2 files changed, 3 insertions(+)

diff --git a/karolina.csv b/karolina.csv
index 16cd316e..30350e58 100644
--- a/karolina.csv
+++ b/karolina.csv
@@ -824,6 +824,7 @@ IOR/3.3.0-gompi-2022a,1
 IOTK/1.2.2-intel-2020a,1
 ipp/2020.3.304,1
 irodsfs/0.7.6,1
+ISL/0.24,1
 itac/2020.3.036,1
 JANPA/V2.03-pre-release,1
 JasPer/2.0.24-GCCcore-10.2.0,1
@@ -1163,6 +1164,7 @@ Mono/6.12.0.122,1
 motif/2.3.8-GCCcore-11.3.0,1
 MPC/1.2.1-GCCcore-10.2.0,1
 MPC/1.2.1-GCCcore-10.3.0,1
+MPC/1.2.1-GCCcore-12.2.0,1
 MPFR/4.1.0-GCCcore-10.2.0,1
 MPFR/4.1.0-GCCcore-10.3.0,1
 MPFR/4.1.0-GCCcore-11.2.0,1
diff --git a/karolina.md b/karolina.md
index 27e88f04..67cfb2f1 100644
--- a/karolina.md
+++ b/karolina.md
@@ -374,6 +374,7 @@
 | [GEOS](https://trac.osgeo.org/geos) | GEOS (Geometry Engine - Open Source) is a C++ port of the Java Topology Suite (JTS) |
 | [GMP](https://gmplib.org/) | GMP is a free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point numbers. |
 | [gmpy2](https://github.com/aleaxit/gmpy) | GMP/MPIR, MPFR, and MPC interface to Python 2.6+ and 3.x |
+| [ISL](http://isl.gforge.inria.fr/) | isl is a library for manipulating sets and relations of integer points bounded by linear constraints. |
 | [KaHIP](https://kahip.github.io/) | The graph partitioning framework KaHIP -- Karlsruhe High Quality Partitioning. |
 | [libcerf](https://jugit.fz-juelich.de/mlz/libcerf) | libcerf is a self-contained numeric library that provides an efficient and accurate implementation of complex error functions, along with Dawson, Faddeeva, and Voigt functions. |
 | [libxsmm](https://github.com/hfp/libxsmm) | LIBXSMM is a library for small dense and small sparse matrix-matrix multiplications targeting Intel Architecture (x86). |
-- 
GitLab