sci-mathematics/libpoly – Gentoo Packages

Version 0.1.13 is available upstream. Please consider updating!
It seems that version 0.1.13 is available upstream, while the latest version in the Gentoo tree is 0.1.11.
You think this warning is false? Read more about it here.

Available Versions

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
0.1.11 : 0/0.1.11 EAPI 8	~amd64	~x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Package Metadata

Upstream
Bugs-To https://github.com/SRI-CSL/libpoly/issues/
Remote-Id https://github.com/SRI-CSL/libpoly
Full 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.
USE flags
Global Use Flags
- +python
python_single_target (Use Expand)
License
LGPL-3+
Maintainer(s)
Gentoo Mathematics Project

External Resources

Git repository browser

Git log (short)

Changes Feed

Bugs-To	https://github.com/SRI-CSL/libpoly/issues/
Remote-Id	https://github.com/SRI-CSL/libpoly