Date: Wed, 29 Sep 2021 06:09:13 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 39cfa300db1b - main - math/py-arybo: New port: Manipulation of mixed boolean-arithmetic symbolic expressions Message-ID: <202109290609.18T69Dhl089053@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=39cfa300db1b158f0a761255bdd27da44323d2b0 commit 39cfa300db1b158f0a761255bdd27da44323d2b0 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2021-09-29 06:07:19 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2021-09-29 06:08:08 +0000 math/py-arybo: New port: Manipulation of mixed boolean-arithmetic symbolic expressions --- math/Makefile | 1 + math/py-arybo/Makefile | 23 +++++++++++++++++++++++ math/py-arybo/distinfo | 3 +++ math/py-arybo/pkg-descr | 8 ++++++++ 4 files changed, 35 insertions(+) diff --git a/math/Makefile b/math/Makefile index a5c3c9072703..9998d48d1b25 100644 --- a/math/Makefile +++ b/math/Makefile @@ -794,6 +794,7 @@ SUBDIR += py-amply SUBDIR += py-apgl SUBDIR += py-arviz + SUBDIR += py-arybo SUBDIR += py-autograd SUBDIR += py-baycomp SUBDIR += py-bayesian-optimization diff --git a/math/py-arybo/Makefile b/math/py-arybo/Makefile new file mode 100644 index 000000000000..5e476bc0cd0d --- /dev/null +++ b/math/py-arybo/Makefile @@ -0,0 +1,23 @@ +PORTNAME= arybo +DISTVERSION= 1.1.0 +CATEGORIES= math +MASTER_SITES= CHEESESHOP +PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Manipulation of mixed boolean-arithmetic symbolic expressions + +LICENSE= BSD3CLAUSE + +RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}ipython>0:devel/ipython@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}llvmlite>0:devel/py-llvmlite@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}networkx>=2.4:math/py-networkx@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}pytanque>=1.0:math/py-pytanque@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}six>0:devel/py-six@${PY_FLAVOR} + +USES= compiler:c++14-lang python:3.5+ +USE_PYTHON= distutils concurrent autoplist + +NO_ARCH= yes + +.include <bsd.port.mk> diff --git a/math/py-arybo/distinfo b/math/py-arybo/distinfo new file mode 100644 index 000000000000..be813aa6b8fd --- /dev/null +++ b/math/py-arybo/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1632893913 +SHA256 (arybo-1.1.0.tar.gz) = 33fcee46786129bd43b8d8695164856f127761e32d57f03c0846ae2966ac62de +SIZE (arybo-1.1.0.tar.gz) = 26998 diff --git a/math/py-arybo/pkg-descr b/math/py-arybo/pkg-descr new file mode 100644 index 000000000000..265fd7d19312 --- /dev/null +++ b/math/py-arybo/pkg-descr @@ -0,0 +1,8 @@ +Arybo is a software for manipulating canonicalization and identification of +mixed boolean-arithmetic symbolic expressions using bit vectors and gives a +bit-per-bit symbolic representation. + +The ANF (Algebric Normal Form) form is used, which basically represents boolean +expressions using the XOR and AND operators. + +WWW: https://github.com/quarkslab/arybo
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202109290609.18T69Dhl089053>