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ö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>© 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>