A polyhedral library based on isl