From bc71b32036697f6435ce580528f319f78483b0f0 Mon Sep 17 00:00:00 2001
From: Eric Niebler
Michael Brickenstein writes:
+ +++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 we provide a Python interface. This allows + parsing of complex polynomial systems, as well as sophisticated + and extendable strategies for Gröbner basis computation. + Boost.Python has helped us to create this interface in a + very clean way.
+
Revised +
Revised - 15 July, 2003
+ 29 May, 2008© Copyright Dave - Abrahams 2002-2003.
+ Abrahams 2002-2008.