barvinok は polylib に基づくパラメトリックとノンパラ凸多面体の整数ポイントの数をカウントするためのライブラリです。パラメトリックな多面体のポイント数は区分準多項式またはエルハート シリーズのいずれかで表されます。