brial 1.2.12-1.1build1 source package in Ubuntu
Changelog
brial (1.2.12-1.1build1) noble; urgency=medium * No-change rebuild for CVE-2024-3094 -- Steve Langasek <email address hidden> Sun, 31 Mar 2024 17:44:51 +0000
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Noble
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Oracular | proposed | universe | misc | |
| Noble | proposed | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| brial_1.2.12.orig.tar.gz | 1.6 MiB | b9d39279c1021ca71fdda0dd925373f7738ebcfc4007aaf34b276b0c53ee1b88 |
| brial_1.2.12-1.1build1.debian.tar.xz | 8.0 KiB | b6f4192845578560ad45d6f87458b58d7ab4cf4f92538b8f1c0c7f4200bd3616 |
| brial_1.2.12-1.1build1.dsc | 2.5 KiB | b9796df953a1462ded31ff7c3b174fe6982b4482a4285a06b55a9e5c3177fcbc |
Available diffs
Binary packages built by this source
- libbrial-dev: polynomials over Boolean Rings, core development files
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 core development files.
- libbrial-groebner-dev: development files for libbrial-groebner
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 development files for libbrial-groebner.
- libbrial-groebner3t64: computer algebra routines of BRiAl
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_groebner.
- libbrial-groebner3t64-dbgsym: debug symbols for libbrial-groebner3t64
- libbrial3t64: 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.
- libbrial3t64-dbgsym: debug symbols for libbrial3t64
- python3-brial: polynomials over Boolean Rings, Python 3 module
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 Python 3 module.
