inducer/islpy
Python wrapper for isl, an integer set library
This tool helps computer science researchers and compiler developers analyze and optimize code by representing sets of integer points within linear constraints. You input mathematical descriptions of these integer sets and relationships, and it outputs results of operations like intersections, unions, and projections, or calculates the number of integer points. This is used by those working on program analysis, optimization, or algorithm design.
Used by 2 other packages. Available on PyPI.
Use this if you need to perform precise mathematical operations on integer sets defined by linear inequalities, especially for compiler design or program optimization.
Not ideal if you are not working with polyhedral analysis or do not need to manipulate integer sets with linear constraints in a programmatic way.
Stars
82
Forks
23
Language
Python
License
—
Category
Last pushed
Mar 09, 2026
Commits (30d)
0
Reverse dependents
2
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/inducer/islpy"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related tools
alphaville/optimization-engine
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
symforce-org/symforce
Fast symbolic computation, code generation, and nonlinear optimization for robotics
stack-of-tasks/pinocchio
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
inducer/loopy
A code generator for array-based code on CPUs and GPUs
loco-3d/crocoddyl
Crocoddyl is an optimal control library for robot control under contact sequence. Its solver is...