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.


Recent releases

  •  15 Apr 2014 17:51

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

    •  03 Dec 2012 11:52

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

      •  18 Dec 2011 13:44

        Release Notes: This release drops omega and includes pet.

        •  14 Jul 2011 19:39

          Release Notes: This release includes CLooG in the main distribution.

          •  18 Mar 2011 23:04

            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.

            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 Fluent OpenStack client API for Java.


            Project Spotlight

            TurnKey TWiki Appliance

            A TWiki appliance that is easy to use and lightweight.