barvinok ist eine Bibliothek, die die Anzahl von Punkten in parametrisierten und nicht parametrisierten Polytopen zählt, basierend auf polylib. Für ein parametrisiertes Polytop wird die Anzahl der Punkte durch ein Ehrhart-Polynom repräsentiert. (hjb)