brial 1.2.0-2 source package in Ubuntu
Changelog
brial (1.2.0-2) unstable; urgency=medium * Upload to unstable. -- Tobias Hansen <email address hidden> Sat, 30 Dec 2017 10:05:46 +0100
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Bionic | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| brial_1.2.0-2.dsc | 2.3 KiB | 5c50cd1fb7d8ceb6480ed22761ea99f68141aca7df7182d7a15ff5db339b7c90 |
| brial_1.2.0.orig.tar.gz | 1.6 MiB | 0f09fc790e8bf3610e4ca43352b6147831d19b1762cf3ff409b2c2d63acbd0e4 |
| brial_1.2.0-2.debian.tar.xz | 6.2 KiB | 0c70defb2ba73b255fd391e4b5497f6291e1afca0bdaa7cb4597dedcc12fef16 |
Available diffs
- diff from 0.8.7-3 to 1.2.0-2 (1.4 MiB)
No changes file available.
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-groebner3: No summary available for libbrial-groebner3 in ubuntu cosmic.
No description available for libbrial-groebner3 in ubuntu cosmic.
- libbrial-groebner3-dbgsym: No summary available for libbrial-groebner3-dbgsym in ubuntu disco.
No description available for libbrial-
groebner3- dbgsym in ubuntu disco.
- libbrial3: 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.
- libbrial3-dbgsym: debug symbols for libbrial3
- python-brial: No summary available for python-brial in ubuntu disco.
No description available for python-brial in ubuntu disco.
