Pakiet: libbrial3t64 (1.2.12-1.1) [debports]
Odnośniki dla libbrial3t64
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
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.
Inne pakiety związane z libbrial3t64
|
|
|
|
-
- dep: libc6.1 (>= 2.32)
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb
-
- dep: libgcc-s1 (>= 3.0)
- Biblioteka wspomagająca GCC
-
- dep: libstdc++6 (>= 13.1)
- Standardowa biblioteka GNU C++, wersja 3
Pobieranie libbrial3t64
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
alpha (port nieoficjalny) | 143,9 KiB | 666,0 KiB | [lista plików] |