barvinok
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.
| Licenses | GPLv3+ |
|---|---|
| Implementation | C C++ |
Recent releases
- 18 Dec 2011 17:20
Release Notes: This release drops omega and includes pet.
- 14 Jul 2011 21:25
Release Notes: This release includes CLooG in the main distribution.
- 19 Mar 2011 01:28
Release Notes: This release further improves the iscc calculator and drops the piplib submodule. The barvinok_bound and barvinok_summate applications now accept input in isl notation.
- 13 Sep 2010 11:36
Release Notes: This releases fixes a small but annoying bug in iscc.
- 11 Sep 2010 11:44
Release Notes: This release mainly improves the iscc calculator. The calculator now operates on union sets and maps and supports a codegen operation if CLooG is available.
Recent comments
"what's in a name"
OT: "barvinok" is a name of a flower in Ukrainian, did you know it beforehand? :)
skimo
13 Jan 2004 07:42
Heartbeat
- Popularity Score
- 122.43
- Vitality Score
- 23.97
- Subscriptions
- 11
