libpoly (devel/libpoly) Updated: 2 years ago Add to my watchlist
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.
Version: 0.1.13 License: LGPL-3
GitHub
Statistics for selected duration
2025-Aug-23 to 2025-Sep-22
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.