Package: libpolybori-0.5.0-0 (0.5~rc1-2.1) [universe]
Links for libpolybori-0.5.0-0
Ubuntu Resources:
Download Source Package polybori:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Tim Abbott
- Alexander Dreyer
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [polybori.sourceforge.net]
Similar packages:
Polynomials over Boolean Rings, shared library
The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library, PolyBoRi provides a Python interface. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. PolyBoRi features a powerful reference implementation for Groebner basis computation.
This package contains the PolyBoRi shared libraries.
Other Packages Related to libpolybori-0.5.0-0
|
|
|
-
- dep: libc6 (>= 2.7)
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: libstdc++6 (>= 4.4.0)
- The GNU Standard C++ Library v3
Download libpolybori-0.5.0-0
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 2,046.7 kB | 6,004.0 kB | [list of files] |
| i386 | 2,016.7 kB | 5,840.0 kB | [list of files] |