BSD Portsmath/libpoly 0.2.1_1 FreeBSD
C library for manipulating polynomials
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- LGPL3
- Categories
- math
- Package size
- 194.1 KiB, 810.1 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 |
|---|---|---|
| FreeBSD | math/libpoly | 0.2.1_1 |
| NetBSD | math/libpoly | 0.2.1 |
| DragonFly | math/libpoly | 0.1.13 |
Install
Binary package:
pkg install libpolyFrom the ports tree:
cd /usr/ports/math/libpoly/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= libpoly>0:math/libpoly
LIB_DEPENDS= libpoly.so:math/libpolyPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 0.2.1_1 | 0.2.1_1 | 0.1.11 | 0.2.0 | 0.2.1_1 |
| FreeBSD:14:quarterly | 0.2.1_1 | 0.2.1_1 | n/a | 0.2.0 | 0.2.1_1 |
| FreeBSD:15:latest | 0.2.1_1 | 0.2.1_1 | n/a | 0.2.0 | 0.2.0 |
| FreeBSD:15:quarterly | 0.2.1_1 | 0.2.1_1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 0.2.1_1 | 0.2.1_1 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Library 1
libgmp.so: math/gmp
The full lists below include those, and their dependencies in turn.
Build dependencies 16
Run dependencies 2
Required by 3
Configuration
No options to configure.
- USES
- cmake:testing
- Service scripts
- none
Files
pkg-plist 51
- include/poly/algebraic_number.h
- include/poly/assignment.h
- include/poly/dyadic_interval.h
- include/poly/dyadic_rational.h
- include/poly/feasibility_set.h
- include/poly/feasibility_set_int.h
- include/poly/integer.h
- include/poly/interval.h
- include/poly/monomial.h
- include/poly/output_language.h
- include/poly/poly.h
- include/poly/polynomial.h
- include/poly/polynomial_context.h
- include/poly/polynomial_hash_set.h
- include/poly/polynomial_heap.h
- include/poly/polynomial_vector.h
- include/poly/polyxx.h
- include/poly/polyxx/algebraic_number.h
- include/poly/polyxx/assignment.h
- include/poly/polyxx/context.h
- include/poly/polyxx/dyadic_interval.h
- include/poly/polyxx/dyadic_rational.h
- include/poly/polyxx/integer.h
- include/poly/polyxx/integer_ring.h
- include/poly/polyxx/interval.h
- include/poly/polyxx/interval_assignment.h
- include/poly/polyxx/polynomial.h
- include/poly/polyxx/polynomial_utils.h
- include/poly/polyxx/rational.h
- include/poly/polyxx/rational_interval.h
- include/poly/polyxx/sign_condition.h
- include/poly/polyxx/upolynomial.h
- include/poly/polyxx/utils.h
- include/poly/polyxx/value.h
- include/poly/polyxx/variable.h
- include/poly/rational.h
- include/poly/rational_interval.h
- include/poly/sign_condition.h
- include/poly/upolynomial.h
- include/poly/upolynomial_factors.h
- include/poly/value.h
- include/poly/variable_db.h
- include/poly/variable_list.h
- include/poly/variable_order.h
- include/poly/version.h
- lib/libpoly.so
- lib/libpoly.so.0
- lib/libpoly.so.0.2.1
- lib/libpolyxx.so
- lib/libpolyxx.so.0
- lib/libpolyxx.so.0.2.1
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| SRI-CSL-libpoly-v0.2.1_GH0.tar.gz | 629599 | f9920afc876f998633348b9cbfcf180757ada48cc872040256c60ad0707b5a0f |
Commit history 0
No commits in the history this site was built from.