isl ist eine Bibliothek zum Bearbeiten von Mengen und Beziehungen von ganzzahligen Punkten, die durch lineare Ungleichungen eingeschränkt sind. Zu den unterstützten Mengenoperationen gehören Schnittmenge, Vereinigung, Differenz, Prüfung auf leere Menge, konvexe Hülle, (ganzzahlige) affine Hülle, ganzzahlige Projektion und Berechnung des lexikalischen Minimums mittels parametrischer Ganzzahlprogrammierung. Sie enthält auch einen ILP-Gleichungslöser, der auf einer verallgemeinerten Basisreduktion beruht. (non)