barvinok: Projections of integer point sets of parametric polytopes - Packages and Features

Skip to content
Back to top
View this page
Edit this page

# barvinok: Projections of integer point sets of parametric polytopes

## Description

barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes as well as projections of such sets.

## License

GPL v2

## Upstream Contact

- https://sourceforge.net/projects/barvinok/

- https://groups.google.com/group/isl-development

## Type

experimental

## Dependencies

- isl: Sets and relations of integer points bounded by affine constraints

- ntl: A library for doing number theory

- polylib: Operations on unions of polyhedra

## Version Information

package-version.txt:

    0.41.7

## Equivalent System Packages

FreeBSD

    $ sudo pkg install math/barvinok

openSUSE

    $ sudo zypper install barvinok 'pkgconfig(barvinok)'

See https://repology.org/project/barvinok/versions

However, these system packages will not be used for building Sage because `spkg-configure.m4` has not been written for this package; see Issue #27330 for more information.