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
