descriptionlattice point enumeration library
homepage URL
last changeFri, 16 Jun 2017 07:40:18 +0000 (16 09:40 +0200)
content tags
barvinok is a library for counting the number of integer points
in parametric and non-parametric polytopes as well as projections
of such sets.
For parametric polytopes the count is represented by either
an explicit function or a generating function.
The first comes in the shape of a piece-wise step-polynomial.
This is a generalization of both Ehrhart quasi-polynomials
and vector partition functions.
The second is a generalization of an Ehrhart series.

This library shares some functionality with LattE
and uses PolyLib (included), NTL (
If you have cloned the git repository, you need to run
to get the submodules and create the configure scripts.

Additionally, the following packages can optionally be used
- Omega+ (
- GLPK (

NTL needs to have been compiled with GMP support.
That is, you have to specify
NTL also needs to have been compiled in ISO mode.
For versions older than 5.4, this means you need an additional

Suppose you want to install everything in /opt,
Then you configure/compile NTL using

cd src
./configure NTL_GMP_LIP=on PREFIX=/opt GMP_PREFIX=/path/to/gmp
make install

Configure this library using

./configure --prefix=/opt --with-gmp-prefix=/path/to/gmp --with-ntl-prefix=/opt

If you want shared libraries, then configure with the
--enable-shared-barvinok option.
Note that this requires NTL to have been built as a shared library as well
(using "SHARED=on" on its configure line).
Also note that if you have previously installed a shared library of an older
version of barvinok, and you do not install one for this version, then the
linker may pick up the old shared library rather than the new static library.

By default, barvinok will use the included copy of isl.
If you want it to use a pre-installed version of isl instead, then
configure with the --with-isl=system option.  Use the --with-isl-prefix
option to specify the installation prefix of isl, if needed.

If you want to compile and use the included pet library, then
you need the following packages:
- libyaml (
- LLVM/clang (
Additionally, you need to configure with the --with-pet=bundled option.
See pet/README for more information.


make check
make install

If you want to put any one of these packages in the default location
(typically /usr/local), then the prefix argument can be omitted.
For more information on other arguments,

./configure --help

The input format of barvinok_enumerate is the same as that
of testehrhart from the PolyLib distribution.
See the PolyLib manual, barvinok_enumerate.c or the
examples in tests/ehrhart/ .

Note that the fractional representation is subject to change.

The library supports three specialization algorithms.
The first performs a direct specialization using a random vector.
The second performs a "depth-first" incremental specialization.
The third performs a "breadth-first" incremental specialization.

The first is usually the fastest, but can fail if the random
vector happens to be chosen incorrectly.
The incremental algorithms should never fail, but can be slower,
in some cases by quite a bit.  The breadth-first version should
be faster than the depth-first version, especially on polytopes
of moderate dimension with a lot of "structure", but can require
more memory.

For bug reports, feature requests and questions,

Whenever you report a bug, please mention the exact version of barvinok
that you are using (output of "./iscc --version").  If you are unable
to compile barvinok, then report the git version (output of "git describe")
or the version included in the name of the tarball.
2017-06-16 Sven Verdoolaegeupdate pet for support for recent clangsmaster
2017-06-16 Sven Verdoolaegeupdate isl for support for recent clangs
2017-06-13 Sven Verdoolaegeiscc: drop support for applying "codegen" to a set
2017-06-02 Sven Verdoolaegedistribute both versions of interface/
2017-06-02 Sven VerdoolaegeAX_SUBMODULE: only check submodule status in git repository
2017-05-04 Sven Verdoolaegeinterface/*: explicitly cast self.ptr of...
2017-05-04 Sven Verdoolaegeupdate pet for fixes in python bindings
2017-05-04 Sven Verdoolaegeupdate isl for fixes in python bindings
2017-05-04 Sven Verdoolaegeupdate isl for change in interface/extract_interface...
2017-03-13 Sven Verdoolaegesummate.c: join_compatible: use isl_space_has_equal_params
2017-03-13 Sven Verdoolaegeupdate isl for isl_space_has_equal_params
2017-03-13 Sven Verdoolaegeverify.c: verify_point_data_init: explicitly convert...
2017-03-13 Sven basic_map_card: explicitly reintroduce...
2017-03-13 Sven Verdoolaegeupdate isl for isl_pw_qpolynomial_from_range
2017-03-02 Sven Verdoolaegerandomtest.c: add missing include
2017-02-23 Sven Verdoolaegeupdate pet for support for recent clangs
11 months ago barvinok-0.40 barvinok 0.40
2 years ago barvinok-0.39 barvinok 0.39
2 years ago barvinok-0.38 barvinok 0.38
3 years ago barvinok-0.37 barvinok 0.37
5 years ago barvinok-0.36 barvinok 0.36
6 years ago barvinok-0.35 barvinok 0.35
6 years ago barvinok-0.34 barvinok 0.34
6 years ago barvinok-0.33 barvinok 0.33
7 years ago barvinok-0.32.1 barvinok 0.32.1
7 years ago barvinok-0.32 barvinok 0.32
7 years ago barvinok-0.31 barvinok 0.31
7 years ago barvinok-0.30 barvinok 0.30
8 years ago barvinok-0.29 barvinok 0.29
9 years ago barvinok-0.28 barvinok 0.28
9 years ago barvinok-0.27 barvinok 0.27
10 years ago barvinok-0.26 barvinok 0.26
8 months ago master
Cached version (6386s old)
barvinok/uuh.git patches by uuh to consider upstream 19 months ago