Gentoo Packages

sci-mathematics/libpoly (gentoo)

Search

Install

Install this package:

emerge -a sci-mathematics/libpoly

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

autounmask sci-mathematics/libpoly

Or alternatively:

emerge --autounmask-write -a sci-mathematics/libpoly

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

Version EAPI Keywords Slot
0.1.11 8 ~amd64 ~x86 0/0.1.11

Metadata

Description

Maintainers

Upstream

Raw Metadata XML 
<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

USE Flags

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

Flag Description 0.1.11
python Add optional support/bindings for the Python language ⊕

Manifest

Type File Size Versions
DIST libpoly-0.1.11.tar.gz 614216 bytes 0.1.11
Unmatched Entries
Type File Size