polybori

We have hosted the application polybori in order to run this application in our online workstations with Wine or directly.

Quick description about polybori:

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.

Audience: Developers, Science/Research.
User interface: Command-line.
Programming Language: C, C++, Python.
Categories: