1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
4 <maintainer type="person">
5 <email>mjo@gentoo.org</email>
8 mjo: François maintained this package in the sage-on-gentoo overlay
9 long before I moved it into ::gentoo. You don't need an ACK from me
12 <maintainer type="person">
13 <email>frp.bissey@gmail.com</email>
14 <name>François Bissey</name>
16 <maintainer type="project">
17 <email>proxy-maint@gentoo.org</email>
18 <name>Proxy Maintainers</name>
21 <longdescription lang="en">
22 BRiAl is a C++ library (the successor to PolyBoRi) that provides
23 high-level data types for Boolean polynomials and monomials,
24 exponent vectors, as well as for the underlying polynomial rings
25 and subsets of the powerset of the Boolean variables.
29 <remote-id type="github">BRiAl/BRiAl</remote-id>