barvinok 0.24

barvinok library can count the number of integer points in parametrized and non-parametrized polytopes.
For parametrized polytopes an explicit function in the shape of a piece-wise step-polynomial is constructed.
This is a generalization of both Ehrhart quasi-polynomials and vector partition functions. Alternatively, a generalized Ehrhart series can be constructed as well.
Enhancements:
- This release supports exponential substitution for non-parametric problems, primal and stopped decomposition for parametric problems, and a polynomial approximation based on nested sums.