libpoly: Library for manipulating polynomials¶

Description¶

SRI LibPoly is a C library for manipulating polynomials that is popular in the domain of Satisfiability Modulo Theories.

License¶

LGPL 3.0

Upstream Contact¶

https://github.com/SRI-CSL/libpoly

Type¶

optional

Dependencies¶

$(MP_LIBRARY)
cmake: A cross-platform build system generator
ninja_build: A build system with a focus on speed

Version Information¶

package-version.txt:

0.2.1

Installation commands¶

Sage distribution:

$ sage -i libpoly

However, these system packages will not be used for building Sage because spkg-configure.m4 has not been written for this package; see upstream Issue #27330 for more information.