Gentoo Packages

Search

Package Information

Description:

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.

Homepage:

https://github.com/SRI-CSL/libpoly/

License:

LGPL-3+

Versions

Metadata

Description

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

Maintainers

• Gentoo Mathematics Project (sci-mathematics@gentoo.org) - Type: project

Upstream

• Bugs: https://github.com/SRI-CSL/libpoly/issues/
• Remote IDs:
  • github: SRI-CSL/libpoly

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

Lint Warnings

• [Warning] Ebuild 0.1.11 uses IUSE flag 'python' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Missing md5-cache for version 0.1.11. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

Manifest