Try it! (tutorial)
The library includes isl and PolyLib and uses NTL.
It uses Barvinok's decomposition which has also been (previously) implemented in LattE.
From release 0.22 until release 0.30, the barvinok distribution included the bernstein library for computing bounds on polynomials over parametric polytopes. This functionality has now been taken over by the isl library.
Since release 0.25, the library can also compute the sum of a polynomial over the integer points in a parametric polygon using local Euler-Maclaurin formulae. The original implementation of this algorithm in Maple can be found here.
Since release 0.30, the barvinok distribution includes the isl library.
project page, the
or the user manual for more information.
See the git repository for the latest development version.
To be kept informed about new releases, subscribe to the barvinok project on freshmeat.
If you use barvinok, you can let me know by stacking barvinok on ohloh.
For bug reports, feature requests and questions,
|Visit this group|
See http://polyhedral.info/software for related software.