PolyBoRi
betaDescription
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.
Categories
License
Update Notifications
User Ratings
User Reviews
Be the first to post a review of PolyBoRi!