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.
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.
To install libpoly, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install libpoly
To see what files were installed by libpoly, run:
port contents libpoly
To later upgrade libpoly, run:
sudo port selfupdate && sudo port upgrade libpoly
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.