libpoly 0.1.3

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.

SRPMS

libpoly-0.1.3-1.fc26.src.rpm

SPECS

For the purpose of submitting this package to Fedora, here is the RPM spec file.

Back to the RPMS


Last modified: Fri Jul 29 15:52:14 MDT 2016 by Jerry James