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. License: GNU General Public License (GPL) Changes: This release adds support for summation using the Bernoulli formula, integer optimization over a polytope, and the computation of the integer hull of a non-parametric polytope and the lattice width of a parametric polytope. Finally, this release implements the projection theorem for computing the generating function of the integer projection of a polytope.

	Read more at FreshMeat
	www.pheedo.com/click.phdo?i=588467c5ebddd11e642f0b5fe5d6ba9f