blob: 9d9fdde167c9ac75c1974c9189fc58031a3818de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="project">
<email>sci-mathematics@gentoo.org</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
<longdescription>
LibPoly is a C library for manipulating polynomials. The target
applications are symbolic reasoning engines, such as SMT solvers, that need
to reason about polynomial constraints. It is research software under
development, so the features and the API might change rapidly.
</longdescription>
<upstream>
<bugs-to>https://github.com/SRI-CSL/libpoly/issues/</bugs-to>
<remote-id type="github">SRI-CSL/libpoly</remote-id>
</upstream>
</pkgmetadata>
|
