python-polybori - Framework for Boolean Rings
Website: | http://polybori.sourceforge.net/ |
---|---|
License: | GPLv2+ |
Vendor: | Fedora Project |
- Description:
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 Groebner base computation.
Packages
python-polybori-0.5-5.fc11.i586 [2.6 MiB] |
Changelog
by Conrad Meyer (2009-03-28):
- Add cudd-devel Requires to -devel subpackage. - Link against cudd at build time. - Fixed encoding of ChangeLog. |
python-polybori-0.5-5.fc11.x86_64 [2.6 MiB] |
Changelog
by Conrad Meyer (2009-03-28):
- Add cudd-devel Requires to -devel subpackage. - Link against cudd at build time. - Fixed encoding of ChangeLog. |