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 github issue #27330 for more information.