Sophie

Sophie

distrib > Fedora > 18 > i386 > by-pkgid > 41fdf34ce63cd32f4c01d88f31c601dd

polybori-0.8.3-1.fc18.i686.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.

Sources packages:

Other version of this rpm: