Projects / barvinok / Releases

All releases of barvinok

  •  16 Oct 2008 23:48
Avatar

    Release Notes: This release adds omega as a sub-module and fixes some minor bugs and compilation problems.

    •  04 May 2008 22:34
    Avatar

      Release Notes: This release mainly adds support for iterated Laurent series based weighted counting.

      •  17 Jan 2008 00:48
      Avatar

        Release Notes: This release adds support for summation using the Bernoulli formula, integer optimization over a polytope, and the computation of the integer hull of a non-parametric polytope and the lattice width of a parametric polytope. Finally, this release implements the projection theorem for computing the generating function of the integer projection of a polytope.

        •  12 Sep 2007 08:02
        Avatar

          Release Notes: This release includes a copy of PolyLib and piplib and supports the summation of polynomials over 2D parametric polytopes using local Euler-Maclaurin formula.

          •  01 Jul 2007 00:54
          Avatar

            Release Notes: This release supports exponential substitution for non-parametric problems, primal and stopped decomposition for parametric problems, and a polynomial approximation based on nested sums.

            •  28 Apr 2007 20:27
            Avatar

              Release Notes: This release adds support for approximating quasi-polynomials by polynomials, computing bounds of quasi-polynomials, and both a primal and a stopped Barvinok decomposition for non-parametric problems.

              •  01 Nov 2006 11:46
              Avatar

                Release Notes: This release mainly includes the bernstein library for computing upper bounds on polynomials over parametric polytopes. It also adds an experimental tool for parametric integer programming based on Barvinok's generating function as well as some tools based on generalized basis reduction.

                •  22 Jun 2006 21:34
                Avatar

                  Release Notes: This release adds some documentation, a new polymake client, and an application for computing the Ehrhart quasi-polynomial of a polytope.

                  •  22 Feb 2006 17:25
                  Avatar

                    Release Notes: This release fixes the PIP-based handling of existential variables using the lastest version of PIP. The use of Omega as a preprocessor is supported. The Hadamard product was added on generating functions. Experimental support for the enumeration of unions of polytopes was added.

                    •  21 Jan 2006 00:42
                    Avatar

                      Release Notes: This release adds an omega calculator interface and fixes some minor bugs.

                      Screenshot

                      Project Spotlight

                      episoder

                      A tool to tell you about new episodes of your favourite TV shows.

                      Screenshot

                      Project Spotlight

                      BalanceNG

                      A modern software IP load balancer.