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

• http://groups.google.com/group/isl-development

Type

experimental

Dependencies

• ntl: A library for doing number theory

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

• polylib: Operations on unions of polyhedra

Version Information

package-version.txt:

0.41.1

Equivalent System Packages

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 trac ticket #27330