cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

New port: math/libpoly: C library for manipulating polynomial

Browse Source
This commit is contained in:
Yuri Victorovich 2018-07-21 08:30:08 +00:00
parent 3baa4718db
commit efef86bbbc
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=475052
5 changed files with 60 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
math/Makefile
View File

@ -306,6 +306,7 @@
SUBDIR += libmissing
SUBDIR += libocas
SUBDIR += liborigin
SUBDIR += libpoly
SUBDIR += libqalculate
SUBDIR += libranlip
SUBDIR += librsb

23
math/libpoly/Makefile Normal file
View File

@ -0,0 +1,23 @@
# $FreeBSD$
PORTNAME= libpoly
DISTVERSIONPREFIX= v
DISTVERSION= 0.1.7
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= C library for manipulating polynomials
LICENSE= GPLv3
LICENSE_FILE= ${WRKSRC}/LICENCE
LIB_DEPENDS= libgmp.so:math/gmp
USES= cmake:outsource
USE_GITHUB= yes
GH_ACCOUNT= SRI-CSL
USE_LDCONFIG= yes
CMAKE_OFF= LIBPOLY_BUILD_PYTHON_API LIBPOLY_BUILD_STATIC LIBPOLY_BUILD_STATIC_PIC
.include <bsd.port.mk>

3
math/libpoly/distinfo Normal file
View File

@ -0,0 +1,3 @@
TIMESTAMP = 1532161301
SHA256 (SRI-CSL-libpoly-v0.1.7_GH0.tar.gz) = 71d08cc1e97219bde8a0af60dd436ce4266dc3f19ff3a2cabc640bd14f4d8f4d
SIZE (SRI-CSL-libpoly-v0.1.7_GH0.tar.gz) = 491593

6
math/libpoly/pkg-descr Normal file
View File

@ -0,0 +1,6 @@
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

27
math/libpoly/pkg-plist Normal file
View File

@ -0,0 +1,27 @@
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/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_vector.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.1.7