isl ☆

« Back to VersTracker

Description:
Integer Set Library for the polyhedral model

Type: Formula | Tracked Since: Dec 28, 2025

Links: Homepage | formulae.brew.sh

Category: Developer tools

Tags: compiler polyhedral optimization library c-library math

Install: brew install isl

About:
ISL is an open source C library for integer set and polyhedral model manipulation. It provides data structures for representing sets and relations of integer tuples, enabling advanced compiler optimizations like loop transformations. Its primary value is in supporting polyhedral compilation techniques used in high-performance computing and embedded systems.

Key Features:

Integer set and relation algebra
Polyhedral compilation support
C library with Python bindings
Dependence analysis and loop transformation
AST generation from schedule trees

Use Cases:

Polyhedral compiler development
Automatic loop optimization
Dependence analysis for parallelization
Memory access pattern optimization

Alternatives:

Pluto – Higher-level polyhedral compiler framework that uses ISL internally for transformations
LLVM Polly – LLVM-based polyhedral loop optimizer with similar optimization goals

Version History

Detected	Version	Rev	Change	Commit
Sep 11, 2025 12:32am		0	VERSION_BUMP	83751f7a
Sep 16, 2024 8:44pm		0	VERSION_BUMP	bda5ca46