polybori-0.6-0rc2-2009-04-28.tar.gz (polybori-0.6-0rc2-2009-04-28.tar.gz( 外部リンク: SF.net): 2,434,789 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
!PolyBoRi ブール多項式の高度なデータ型を提供するブール環上の多項式の C++ ライブラリとして実装されます。Python インターフェイス拡張ブール環上基づいているグレブナ計算アルゴリズムが得られます。
