isl: Integer Set Library