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.
Release Notes: This release drops the cloog submodule in favor of the AST generator in isl.
Release Notes: This release drops omega and includes pet.
Release Notes: This release includes CLooG in the main distribution.
Release Notes: This release further improves the iscc calculator and drops the piplib submodule. The barvinok_bound and barvinok_summate applications now accept input in isl notation.
Release Notes: This releases fixes a small but annoying bug in iscc.