Boost logo

Boost-Commit :

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>


Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk