blob: 80ec78f4200384b492dfb19bf3471c59fe191a63 (
plain) (
tree)
|
|
barvinok is a library for counting the number of integer points in parametric
and non-parametric polytopes based on polylib. For a parametric polytope, the
number of points is represented by either a piecewise quasi-polynomial or an
Ehrhart series.
|