Package: libpolybori-groebner-dev
Source: polybori
Version: 0.8.3-3
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 268
Depends: libpolybori-groebner-0.8-3 (= 0.8.3-3)
Breaks: libpolybori-dev (<< 0.8)
Replaces: libpolybori-dev (<< 0.8)
Section: libdevel
Priority: extra
Homepage: http://polybori.sourceforge.net/
Description: development files for libpolybori-groebner
 The core of PolyBoRi is a C++ library, which provides high-level data
 types for Boolean polynomials and monomials, exponent vectors, as
 well as for the underlying polynomial rings and subsets of the
 powerset of the Boolean variables. As a unique approach, binary
 decision diagrams are used as internal storage type for polynomial
 structures. On top of this C++-library a Python interface
 is provided. This allows parsing of complex polynomial systems, as well
 as sophisticated and extendable strategies for Groebner base
 computation. PolyBoRi features a powerful reference implementation
 for Groebner basis computation.
 .
 This package contains the development files for libpolybori-groebner.
