Filewatcher File Search File Search
Content Search
» » » » » »


Framework for Boolean Rings

PolyBoRi is a special purpose computer algebra system for computations in Boolean Rings. The core is a C++ library, which provides high-level data types for Boolean polynomials and related structures. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this, we provide a Python interface for parsing of complex polynomial systems, as well as for sophisticated and extendable strategies for Gr´┐Żbner base computation.
Package version:0.8.1

Browse inside polybori-0.8.1-2.fc17.src.rpm

1.04 KB2014-11-29HEADER  view  151 mirrors
2.60 MB2014-11-29polybori-0.8.1.tar.gz  2 mirrors
225 B2014-11-29polybori.desktop  view  3 mirrors
1.00 KB2014-11-29polybori-gcc47.patch  view  2 mirrors
57.57 KB2014-11-29polybori-logos.tar.xz  3 mirrors
7.80 KB2014-11-29polybori.spec  view
5.11 KB2014-11-29polybori-system-cudd.patch  view  2 mirrors
1.66 KB2014-11-29polybori-upstream-fixes.patch  view  2 mirrors
1.06 KB2014-11-29polybori-warning.patch  view  2 mirrors

Download polybori-0.8.1-2.fc17.src.rpm

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017