BSD Ports

math/libpoly 0.2.1 NetBSD

C library for manipulating polynomials

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
Port added
Last update
Commit
efeada3c71
License
gnu-lgpl-v3
Categories
math
Package size
303.9 KiB, 3281.0 KiB installed

Description

SRI 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

SystemPortVersion
NetBSDmath/libpoly0.2.1
FreeBSDmath/libpoly0.2.1_1
DragonFlymath/libpoly0.1.13

Install

Binary package:

pkgin install libpoly

From pkgsrc:

cd /usr/pkgsrc/math/libpoly && make install clean

Dependencies

Run dependencies 2
Required by 1

Commit history 1

DateCommitCreditsLog message
efeada3c71 alnsn Initial import of math/libpoly version 0.2.1.
SRI 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.