Pakket: libbrial3t64 (1.2.12-1.1)
Verwijzigingen voor libbrial3t64
Debian bronnen:
Het bronpakket brial downloaden:
Beheerders:
- Debian Science Maintainers (QA-pagina, Mailarchief)
- Tobias Hansen (QA-pagina)
- Julien Puydt (QA-pagina)
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
polynomials over Boolean Rings, shared library
The core of BRiAl 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 a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. BRiAl features a powerful reference implementation for Groebner basis computation.
This package contains the BRiAl shared library libbrial.
Andere aan libbrial3t64 gerelateerde pakketten
|
|
|
|
-
- dep: libc6 (>= 2.32) [niet alpha, ia64, sh4]
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.32) [alpha]
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [niet armel, armhf, hppa, ia64, m68k]
- GCC support bibliotheek
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [ia64]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- GCC support bibliotheek
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC support bibliotheek
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ Library v3
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
libbrial3t64 downloaden
Platform | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
---|---|---|---|
alpha (unofficial port) | 143,9 kB | 666,0 kB | [overzicht] |
amd64 | 155,9 kB | 587,0 kB | [overzicht] |
arm64 | 141,5 kB | 598,0 kB | [overzicht] |
armel | 131,7 kB | 518,0 kB | [overzicht] |
armhf | 133,1 kB | 406,0 kB | [overzicht] |
hppa (unofficial port) | 157,5 kB | 626,0 kB | [overzicht] |
i386 | 168,0 kB | 590,0 kB | [overzicht] |
ia64 (unofficial port) | 177,1 kB | 985,0 kB | [overzicht] |
m68k (unofficial port) | 143,3 kB | 534,0 kB | [overzicht] |
mips64el | 135,5 kB | 710,0 kB | [overzicht] |
ppc64 (unofficial port) | 162,4 kB | 791,0 kB | [overzicht] |
ppc64el | 162,3 kB | 727,0 kB | [overzicht] |
riscv64 | 159,0 kB | 498,0 kB | [overzicht] |
s390x | 152,1 kB | 610,0 kB | [overzicht] |
sh4 (unofficial port) | 177,3 kB | 600,0 kB | [overzicht] |
sparc64 (unofficial port) | 126,9 kB | 1.059,0 kB | [overzicht] |