Fork of "isl" - Integer Set Library (http://isl.gforge.inria.fr/)