ice -- the Ibp ChoosEr  Given a number of integration-by-parts identities, this program will filter a maximal linearly independent subset.