Tue, 14 May 2024 13:27:13 UTC | login

Information for build brial-1.2.5-1.fc31

ID104691
Package Namebrial
Version1.2.5
Release1.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/brial.git#77da97957cd9c8ebca7e7c2feba9a7b272a7f84a
SummaryFramework for Boolean Rings
DescriptionThe 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 Gröbner base computation. BRiAL features a powerful reference implementation for Gröbner basis computation.
Built bydavidlt
State failed
Volume DEFAULT
StartedSat, 27 Jul 2019 04:19:35 UTC
CompletedSat, 27 Jul 2019 04:57:27 UTC
Taskbuild (f31-candidate, /rpms/brial.git:77da97957cd9c8ebca7e7c2feba9a7b272a7f84a)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/brial.git#77da97957cd9c8ebca7e7c2feba9a7b272a7f84a'}}
Tags No tags
RPMs No RPMs
Changelog * Thu Jun 27 2019 Jerry James <loganjerry@gmail.com> - 1.2.5-1 - New upstream version * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Tue Jan 15 2019 Miro Hrončok <mhroncok@redhat.com> - 1.2.4-2 - Subpackage python2-brial has been removed See https://fedoraproject.org/wiki/Changes/Mass_Python_2_Package_Removal * Thu Sep 13 2018 Jerry James <loganjerry@gmail.com> - 1.2.4-1 - New upstream version * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Tue Jun 19 2018 Miro Hrončok <mhroncok@redhat.com> - 1.2.3-2 - Rebuilt for Python 3.7 * Sat Jun 02 2018 Jerry James <loganjerry@gmail.com> - 1.2.3-1 - New upstream version (bz 1438103) - Build for both python 2 and 3 - Add a check script * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Sat Aug 19 2017 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 0.8.5-9 - Python 2 binary package renamed to python2-brial See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3 * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild