libpoly (devel/libpoly) Updated: 10 months, 4 weeks 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
Maintainers judaew
Categories devel
Homepage https://github.com/SRI-CSL/libpoly
Platforms darwin
Variants
  • debug (Enable debug binaries)
  • universal (Build for multiple architectures)

"libpoly" depends on

lib (1)
gmp
build (2)

Ports that depend on "libpoly"

No ports


Port Health:

Loading Port Health

Installations (30 days)

1

Requested Installations (30 days)

1