Integer Set Library for polyhedral model computations
Integer Set Library for the polyhedral model
isl
$ isl-config --version
$ gcc -I$(isl-config --includedir) -L$(isl-config --libdir) program.c -lisl -o program
$ brew list isl