Please wait until PyPy.js is loaded. It is huge, so it may take a while...
This work is powered by Emscripten, MathJax, D3.js, highlight.js, and PyPy.js.


Our Presburger Formulas and Polyhedral Compilation Tutorial provides documentation on how to use isl and isl python. However, it currently lacks documentation of the AST generation functionality.


isl: An Integer Set Library for the Polyhedral Model
Sven Verdoolaege
Lecture notes in computer science - mathematical software (ICMS), 2010

Polyhedral AST generation is more than scanning polyhedra
Tobias Grosser, Sven Verdoolaege, Albert Cohen
ACM transactions on programming languages and systems (TOPLAS), 2015