blob: f92cec048c21bef401407f84e5038595e61f560c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://srcux.com/dtd/metadata.dtd">
<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>
<origin>srcux</origin>
</pkgmetadata>
|
