libpoly-0.1.7.txz


Advertisement

Description

libpoly - C library for manipulating polynomials

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Quarterly amd64
Package filename libpoly-0.1.7.txz
Package name libpoly
Package version 0.1.7
Package release -
Package architecture amd64
Package type txz
Category math
Homepage https://github.com/SRI-CSL/libpoly
License GPLv3
Maintainer yuri@FreeBSD.org
Download size 153.62 KB
Installed size 542.02 KB
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.
WWW: https://github.com/SRI-CSL/libpoly

Alternatives

Package Version Architecture Repository
libpoly-0.1.7.txz 0.1.7 i386 FreeBSD Ports Quarterly
libpoly-0.1.7.txz 0.1.7 amd64 FreeBSD Ports Latest
libpoly-0.1.7.txz 0.1.7 i386 FreeBSD Ports Latest
libpoly - - -

Requires

Name Value
gmp = 6.1.2_1
libgmp.so.10 -

Provides

Name Value
libpoly.so.0 -

Download

Type URL
Mirror pkg.freebsd.org
Binary Package libpoly-0.1.7.txz
Source Package math/libpoly

Install Howto

Install libpoly txz package:

# pkg install libpoly

See Also

Package Description
libpostal-1.1.txz Library for parsing/normalizing street addresses around the world
libpotrace-1.12.txz Library for transforming bitmaps into vector graphics
libpqtypes-1.5.1_2.txz Extension to libpq parameter handling
libpredict-2.0.0.txz Satellite orbit prediction library
libprelude-1.2.6.txz Sensor support library from Prelude SIEM
libpreludedb-1.2.6_1.txz Library to access Prelude IDMEF database
libpri-1.6.0.txz C implementation of the Primary Rate ISDN specification
libprojectM-3.1.0_4.txz Awesome music visualiser
libproplist-0.10.1_3.txz Property library for gnome and Window Maker
libproxy-0.4.15.txz Library that provides automatic proxy configuration management
libproxy-gnome2-0.4.15.txz GConf-based plug-in for libproxy
libproxy-gnome3-0.4.15.txz GSettings-based configuration plug-in for libproxy
libproxy-kde-0.4.15_2.txz KDE plug-in for libproxy
libproxy-mozjs-0.4.15_4.txz Mozilla JavaScript plug-in for libproxy
libproxy-perl-0.4.15.txz Perl binding for libproxy
Advertisement
Advertisement