Package: libbrial3:amd64 Status: install ok installed Priority: optional Section: libs Installed-Size: 564 Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> [Debian Bug Report] Architecture: amd64 Multi-Arch: same Source: brial Version: 1.2.11-2.1 Depends: libc6 (>= 2.32), libgcc-s1 (>= 3.0), libstdc++6 (>= 11) Description: 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. Homepage: https://github.com/BRiAl Files owned by package libbrial3:amd64: /usr /usr/lib /usr/lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu/libbrial.so.3 /usr/lib/x86_64-linux-gnu/libbrial.so.3.0.7 /usr/share /usr/share/doc /usr/share/doc/libbrial3 /usr/share/doc/libbrial3/changelog.Debian.gz /usr/share/doc/libbrial3/copyright