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.13-6.fc41	-
Fedora 40	0.1.13-6.fc40	0.1.13-6.fc40
Fedora 39	0.1.13-1.fc39	-
Fedora 38	0.1.11-5.fc38	-

File a new bug report »

Package Info

Upstream: https://sri-csl.github.io/libpoly/
License(s): LGPL-3.0-or-later
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.