Sophie

Sophie

distrib > Mandriva > cooker > i586 > media > contrib-release-src > by-pkgid > 18a98e0726940cfb61e417ff92fc7a49

polybori-0.8.2-1.src.rpm

Description:

PolyBoRi is a special purpose computer algebra system for computations
in Boolean Rings. The core is a C++ library, which provides high-level
data types for Boolean polynomials and related structures. As a unique
approach, binary decision diagrams are used as internal storage type for
polynomial structures. On top of this, we provide a Python interface
for parsing of complex polynomial systems, as well as for sophisticated
and extendable strategies for Gröbner base computation.

Generated packages:

Other version of this rpm: