Download of polybori_0.8.3.orig.tar.gz (polybori_0.8.3.orig.tar.gz ( external link: SF.net): 2,331,794 bytes) will begin shortly. If not so, click link on the left.

File Information

File Size
2,331,794 bytes
MD5
cc6bfa1eff0727ccd5e70e518c69dcca

Projeto Descrição

PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Groebner bases over Boolean Rings.