[Boost-commit] svn:boost r45920 - trunk/libs/python/doc

From: rwgk_at_[hidden]
Date: 2008-05-29 16:04:19

Author: rwgk
Date: 2008-05-29 16:04:19 EDT (Thu, 29 May 2008)
New Revision: 45920
URL: http://svn.boost.org/trac/boost/changeset/45920

Log:
Projects using Boost.Python: PolyBoRi (text provided by Michael Brickenstein)
Text files modified: 
   trunk/libs/python/doc/projects.html |    27 ++++++++++++++++++++++++---             
   1 files changed, 24 insertions(+), 3 deletions(-)

Modified: trunk/libs/python/doc/projects.html
==============================================================================
--- trunk/libs/python/doc/projects.html	(original)
+++ trunk/libs/python/doc/projects.html	2008-05-29 16:04:19 EDT (Thu, 29 May 2008)
@@ -375,6 +375,27 @@
       application modules, including GUI and post-processing of results.</p>
     </dd>
 
+    <dt><b>PolyBoRi</b></dt>
+
+    <dd>
+      <p><a href="mailto:brickenstein_at_[hidden]"
+        >Michael Brickenstein</a> writes:</p>
+
+      <blockquote>
+        <p>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&ouml;bner basis computation.
+        Boost.Python has helped us to create this interface in a
+        very clean way.</p>
+      </blockquote>
+    </dd>
+
     <dt><b><a href="http://www.rationaldiscovery.com">Rational Discovery
     LLC</a></b></dt>
 
@@ -435,11 +456,11 @@
   </dl>
   <hr>
 
-  <p>Revised 
+  <p>Revised
   <!--webbot bot="Timestamp" S-Type="EDITED" S-Format="%d %B, %Y" startspan -->
-   15 July, 2003</p>
+   29 May, 2008</p>
 
   <p><i>&copy; Copyright <a href="http://www.boost.org/people/dave_abrahams.htm">Dave
-  Abrahams</a> 2002-2003.</i></p>
+  Abrahams</a> 2002-2008.</i></p>
 </body>
 </html>