z3-z3-4.13.0.src.math.polynomial.README Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of z3-turnkey Show documentation

A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.

There is a newer version: 4.13.4

Show newest version

Polynomial manipulation package.
It contains support for univariate (upolynomial.*) and multivariate polynomials (polynomial.*).
Multivariate polynomial factorization does not work yet (polynomial_factorization.*), and it is disabled.