A C++ library for polynomials over boolean rings
