isl

Integer Set Library for the polyhedral model

http://isl.gforge.inria.fr

Current versions:

stable 0.19
head ⚡️ HEAD
bottle 🍾 high_sierra, sierra, el_capitan

Depends on:

gmp 6.1.2 GNU multiple precision arithmetic library

JSON API for isl

Formula code on GitHub

Fork me on GitHub