Integer Set Library (source repository: http://repo.or.cz/w/isl.git) - View it on GitHub