Registry / data / islpy
library2026.1pypypi✓ verified 91d ago

Python wrapper around the Integer Set Library (isl), providing operations on integer sets, relations, and affine constraints. Current version 2026.1, released on a rolling basis with no fixed cadence.

pip install islpy
INSTALL
IMPORT
SIG · ISLPY
I
islpy
datapythonv2026.1
Install
1.7s avg
Import
157ms
Disk
25MB
Pass rate
10/ 10
Env Coverage10 / 10
glibc
3.9–3.13
musl
3.9–3.13
Install & Compatibility
Where this runs
tested against v2026.1 · pip install
no network on importno background threads
Install × environment matrix
Each cell = how many times install + import succeeded across repeated harness runs. Partial = flaky.
glibc = Debian/Ubuntu slim · musl = Alpine Linux
musl
py 3.10–3.95 runs
installs and imports cleanly · install 0.0s · import 0.166s · 27.9MB
glibc
py 3.10–3.95 runs
installs and imports cleanly · install 1.7s · import 0.148s · 27MB
25MB installed
● package 25MB
Code
Verified usage

Verified import paths — ran on the pinned version, not inferred.

islpy
✓ import islpy
Direct import is the standard and only supported pattern.

Basic usage showing creation of integer sets and intersection.

import islpy as isl # Create a basic set: all integer pairs (x, y) with x + y <= 5 s1 = isl.BasicSet('[n] -> { [x, y] : x + y <= n }') print(s1) # Create a second set s2 = isl.BasicSet('[n] -> { [x, y] : x >= 0 and y >= 0 }') # Intersection intersection = s1.intersect(s2) print(intersection) # Check if non-empty print(f"Is empty? {intersection.is_empty()}")
Debug
Known issues
breakingPython 3.10 minimum required; islpy dropped support for Python <3.10 in version 2024.x. Attempting to install on older Python will fail.
fix
Upgrade to Python 3.10 or later.
affects: >=2024.0
gotchaString-based set representation uses isl's syntax, which can be confusing. Misplacing brackets or missing dimensions leads to errors.
fix
Use islpy parsing helpers like isl.BasicSet.read_from_str or carefully double-check syntax.
affects: all
Errors
Common errors & fixes
ModuleNotFoundError: No module named 'islpy'
islpy not installed in the current Python environment.
fix
Run: pip install islpy
ValueError: could not create isl_basic_set: invalid input
The string representation for a set or relation is malformed.
fix
Ensure the string follows isl syntax. For example: '{ [x] : x >= 0 }' or '[n] -> { [x] : x <= n }'.
Upgrade
Version history
2026.1latest on PyPI · released Jan 27, 2026
Audit
Dependencies

No dependency data recorded yet.

Agent activity
11 hits · last 30 days
node
10
Anthropic
1
Resources
islpy — pip install islpy · libregistry