Description
Compilers and analysis tools can model integer sets, loops, and relations bounded by linear constraints through the ISL library. It helps optimization software reason about iteration spaces and transformations in generated code.
This is a developer/runtime library, not an application for end users. Results depend on the compiler or tool that uses it.