inducer/islpy
Python wrapper for isl, an integer set library
Exposes comprehensive polyhedral operations on integer sets and relations—including convex hulls, affine hulls, parametric integer programming, and transitive closures—plus optional barvinok integration for polytope point enumeration. Built as a thin binding over libisl's full C API (including undocumented functions), with optional GMP support for arbitrary-precision arithmetic. Targets compiler optimization, dependence analysis, and integer linear programming workflows.
82 stars and 114,549 monthly downloads. Used by 2 other packages. Available on PyPI.
Stars
82
Forks
23
Language
Python
License
—
Category
Last pushed
Mar 09, 2026
Monthly downloads
114,549
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
symforce-org/symforce
Fast symbolic computation, code generation, and nonlinear optimization for robotics
inducer/loopy
A code generator for array-based code on CPUs and GPUs
alphaville/optimization-engine
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
loco-3d/crocoddyl
Crocoddyl is an optimal control library for robot control under contact sequence. Its solver is...
inducer/pymbolic
A simple package to do symbolic math (focus on code gen and DSLs)