diff --git a/karolina.csv b/karolina.csv
index 16cd316ef6dedebda7b2fcf868f5e30c77504000..30350e58a7deac21622703448e225965e5dd57fc 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 27e88f04a6e8e5a76208cc4e11688eaef87e2650..67cfb2f18129acb457736af34c57da896c721cc1 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). |