libpoly

v 0.1.13 Updated: 9 months, 3 weeks ago

LibPoly is a C library for manipulating polynomials.

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. It is research software under development, so the features and the API might change rapidly.

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

To install libpoly, paste this in macOS terminal after installing MacPorts

sudo port install libpoly

Add to my watchlist

Installations 1
Requested Installations 1