• linux-64 v2024.2
• osx-64 v2024.2
• linux-aarch64 v2024.2
• osx-arm64 v2024.2
• linux-ppc64le v2024.2
• win-64 v2024.2

conda install

To install this package run one of the following:
conda install conda-forge::islpy
conda install conda-forge/label/cf201901::islpy
conda install conda-forge/label/cf202003::islpy
conda install conda-forge/label/gcc7::islpy

---

islpy is a Python wrapper around Sven Verdoolaege's isl, 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.