barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes. For parametric 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.

Try it! (tutorial) For an introduction to the underlying concepts of this interactive environment, see Presburger Formulas and Polyhedral Compilation.

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.

See the README, the paper, the technical report or the user manual for more information.
See the git repository for the latest development version.

To be kept informed about new releases,
Google Groups
isl Announce
subscribe to this group

If you use barvinok, you can let me know by stacking barvinok on Open Hub.

For bug reports, feature requests and questions,
e Groups
isl Development
Visit this group

See for related software.

[ICO]NameLast modifiedSizeDescription

[IMG]groups_logo_sm.gif2013-09-04 12:04 2.6K 
[TXT]HEADER.html2017-01-02 12:33 3.3K 
[   ]tutorial.pdf2014-12-21 11:10 369K 
[   ]barvinok.pdf2017-02-24 17:33 1.0M 
[   ]barvinok-0.36.tar.lzma2013-09-02 23:38 3.2M 
[   ]barvinok-0.37.tar.xz2014-04-15 17:31 3.4M 
[   ]barvinok-0.38.tar.xz2015-06-23 11:22 3.7M 
[   ]barvinok-0.39.tar.xz2016-01-16 14:07 3.8M 
[   ]barvinok-0.40.tar.xz2017-02-24 17:33 3.9M 
[   ]barvinok-0.36.tar.bz22013-09-02 23:37 4.7M 
[   ]barvinok-0.37.tar.bz22014-04-15 17:29 4.7M 
[   ]barvinok-0.38.tar.bz22015-06-23 11:20 5.1M 
[   ]barvinok-0.39.tar.bz22016-01-16 14:05 5.2M 
[   ]barvinok-0.40.tar.bz22017-02-24 17:32 5.2M 
[   ]barvinok-0.36.tar.gz2013-09-02 23:38 5.5M 
[   ]barvinok-0.37.tar.gz2014-04-15 17:30 5.6M 
[   ]barvinok-0.38.tar.gz2015-06-23 11:21 6.1M 
[   ]barvinok-0.39.tar.gz2016-01-16 14:06 6.1M 
[   ]barvinok-0.40.tar.gz2017-02-24 17:33 6.2M 

Apache/2.4.10 (Debian) Server at Port 80