barvinok

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