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.




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