BSD Portsmath/libpoly 0.1.13 DragonFly
C library for manipulating polynomials
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- GPLv3
- Categories
- math
- Package size
- 209.0 KiB, 823.0 KiB installed
Description
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.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/libpoly | 0.1.13 |
| FreeBSD | math/libpoly | 0.2.1_1 |
| NetBSD | math/libpoly | 0.2.1 |
Install
Binary package:
pkg install libpolyFrom DPorts:
cd /usr/dports/math/libpoly && make install clean