Gentoo Packages

Search

Install

Install this package:

emerge -a sci-libs/brial

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask sci-libs/brial

Or alternatively:

emerge --autounmask-write -a sci-libs/brial

Package Information

Description:

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.

Homepage:

https://github.com/BRiAl/BRiAl

License:

BSD GPL-2+

Versions

Metadata

Description

• 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.

Maintainers

• Unknown (mjo@gentoo.org) - Type: person
• François Bissey (frp.bissey@gmail.com) - Type: person
• Proxy Maintainers (proxy-maint@gentoo.org) - Type: project

Upstream

• Remote IDs:
  • github: BRiAl/BRiAl

<pkgmetadata>
	<maintainer type="person">
		<email>mjo@gentoo.org</email>
	</maintainer>
	<maintainer type="person" proxied="yes">
		<email>frp.bissey@gmail.com</email>
		<name>François Bissey</name>
	</maintainer>
	<maintainer type="project" proxied="proxy">
		<email>proxy-maint@gentoo.org</email>
		<name>Proxy Maintainers</name>
	</maintainer>
	<longdescription lang="en">
    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.
  </longdescription>
	<upstream>
		<remote-id type="github">BRiAl/BRiAl</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] USE flag 'png' in ebuild 1.2.15 is not documented in metadata.xml
• [Error] Missing md5-cache for ebuild brial-1.2.15

USE Flags

Manage flags for this package: euse -i <flag> -p sci-libs/brial | euse -E <flag> -p sci-libs/brial | euse -D <flag> -p sci-libs/brial

Files

• cudd-3.0-bp.patch

Manifest