OSDN -- Develop and Download Open Source Software

RSS
Download List

Project Description

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.

System Requirements

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2012-12-04 07:14
0.36

This release drops the cloog submodule in favor of the AST generator in isl.

2011-12-19 02:20
0.35

This release drops omega and includes pet.

2011-07-15 06:25
0.34

This release includes CLooG in the main distribution.

2011-03-19 10:28
0.33

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.

2010-09-13 20:36
0.32.1

This releases fixes a small but annoying bug in iscc.

Project Resources

Project Page Download: Changelog Download: Demo Home Page