Projects / 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.


RSS Recent releases

  •  15 Apr 2014 21:24

    Release Notes: This release supports NTL 6.0.0 and fixes some minor bugs.

    •  03 Dec 2012 22:14

      Release Notes: This release drops the cloog submodule in favor of the AST generator in isl.

      •  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.

            RSS Recent comments

            28 Apr 2007 22:08 gvy

            "what's in a name"
            OT: "barvinok" is a name of a flower in Ukrainian, did you know it beforehand? :)


            Project Spotlight


            A multi-core programming framework.


            Project Spotlight


            A GNU/Linux multimedia distribution that is targeted at audio, video, and graphics producers.