barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes.