barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes as well as projections of such sets.
GPL v2
http://groups.google.com/group/isl-development
babel
Benzene