Summary
BRiAl is a C++ library (the successor to PolyBoRi) that 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.
Versions
v1.2.12 :: 0 :: gentoo
- Modified
- License
- BSD GPL-2+
- Keywords
- amd64 ~amd64-linux ~riscv ~x64-macos ~x86 ~x86-linux
- USE flags
- png
USE flags
General
- png
- Add support for libpng (PNG images)
Dependencies
dev-libs / boost : Boost Libraries for C++
sci-libs / m4ri : Method of four russian for inversion (M4RI)
Runtime Dependencies
dev-libs / boost : Boost Libraries for C++
sci-libs / m4ri : Method of four russian for inversion (M4RI)
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/brial: keyword 1.2.12 for ~riscv
Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-libs/brial: destabilize for ~x86
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/brial: drop 1.2.11
Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/brial: Stabilize 1.2.12 amd64, #907857
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/brial: Stabilize 1.2.12 x86, #907857
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - François Bissey · gentoo
sci-libs/brial: add 1.2.12
Closes: https://github.com/gentoo/gentoo/pull/29111 Closes: https://bugs.gentoo.org/890425 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> Signed-off-by: François Bissey <frp.bissey@gmail.com> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/brial: drop 1.2.10
Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Joonas Niilola · gentoo
sci-libs/brial: Stabilize 1.2.11 amd64, #877781
Signed-off-by: Joonas Niilola <juippis@gentoo.org> - Joonas Niilola · gentoo
sci-libs/brial: Stabilize 1.2.11 x86, #877781
Signed-off-by: Joonas Niilola <juippis@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - François Bissey · gentoo
sci-libs/brial: Migrate to ESYSROOT, drop static libs.
Closes: https://github.com/gentoo/gentoo/pull/26667 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - François Bissey · gentoo
sci-libs/brial: upstream bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/brial: perform tc-export in src_configure
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/brial: fix phase definition style
Package-Manager: Portage-3.0.18-prefix, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolic · gentoo
sci-libs/brial: Remove old
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/brial: Stabilize 1.2.10 amd64, #765760
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
sci-libs/brial: Stabilize 1.2.10 x86, #765760
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Fabian Groffen · gentoo
sci-libs/brial: drop x86-macos
Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/brial: bugfix update 1.2.9 -> 1.2.10.
Package-Manager: Portage-3.0.4, Repoman-3.0.1 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/brial: new version 1.2.9.
Package-Manager: Portage-3.0.4, Repoman-3.0.1 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
sci-libs/brial: x86 stable wrt bug #717386
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
sci-libs/brial: amd64 stable wrt bug #717386
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/brial: new library for polynomials over boolean rings.
This library is maintained upstream and in the sage-on-gentoo overlay by François Bissey, but it is well-packaged and passes its tests. It is a dependency of SageMath, and the system copy will eventually be usable by Sage, so now is a good time to adopt it. The overlay ebuild was used with minimal changes. Closes: https://bugs.gentoo.org/713330 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>