barvinok is a library for counting the number of
integer points in parametric and non-parametric
polytopes based on polylib. For a parametric
polytope, the number of points is represented by
either a piecewise quasi-polynomial or an Ehrhart
series.