Package brial: Information
Source package: brial
Version: 1.2.12-alt2
Build time: Nov 2, 2023, 01:27 PM in the task #333394
Category: Sciences/Mathematics
Report package bugHome page: https://github.com/BRiAl/BRiAl/
License: GPL-2.0+ and BSD-3-Clause
Summary: Framework for Boolean Rings
Description:
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 we provide a Python interface. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Grobner base computation. BRiAL features a powerful reference implementation for Grobner basis computation.
List of rpms provided by this srpm:
libbrial-devel (x86_64, ppc64le, i586, armh, aarch64)
libbrial3 (x86_64, ppc64le, i586, armh, aarch64)
libbrial3-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
libbrial-devel (x86_64, ppc64le, i586, armh, aarch64)
libbrial3 (x86_64, ppc64le, i586, armh, aarch64)
libbrial3-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
Maintainer: Alexey Sheplyakov
Last changed
Nov. 2, 2023 Alexey Sheplyakov 1.2.12-alt2
- NMU: fixed FTBFS on LoongArch.
Jan. 16, 2023 Leontiy Volodin 1.2.12-alt1
- New version.
July 29, 2022 Leontiy Volodin 1.2.11-alt1
- New version.