libpoly (devel/libpoly) Updated: 2 months 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.2.1 License: LGPL-3
GitHub
| Maintainers | judaew |
| Categories | devel |
| Homepage | https://github.com/SRI-CSL/libpoly |
| Platforms | darwin |
| Variants |
|
"libpoly" depends on
lib (1)
build (2)
Ports that depend on "libpoly"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: cannot check if libpoly was updated (Operation too slow. Less than 1024 bytes/sec transferred the last 60 seconds)
last updated: 12 hours ago