libpoly - Fedora Packages

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.

Releases Overview

Release	Stable	Testing
Fedora Rawhide	0.1.11-1.fc36	-
Fedora 35	0.1.10-1.fc35	-
Fedora 34	0.1.8-4.fc34	-

Package Info

Upstream: https://sri-csl.github.io/libpoly/
License(s): LGPLv3+
Maintainer: jjames

Related Packages

libpoly-devel
python3-libpoly

You can contact the maintainers of this package via email at libpoly dash maintainers at fedoraproject dot org.