From owner-dev-commits-ports-all@freebsd.org Wed Sep 29 06:09:13 2021
Return-Path: <owner-dev-commits-ports-all@freebsd.org>
Delivered-To: dev-commits-ports-all@mailman.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mailman.nyi.freebsd.org (Postfix) with ESMTP id CC4A866CD16;
Wed, 29 Sep 2021 06:09:13 +0000 (UTC) (envelope-from git@FreeBSD.org)
Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org
[IPv6:2610:1c1:1:606c::19:3])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256
client-signature RSA-PSS (4096 bits) client-digest SHA256)
(Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK))
by mx1.freebsd.org (Postfix) with ESMTPS id 4HK5YP54R1z4Vp0;
Wed, 29 Sep 2021 06:09:13 +0000 (UTC) (envelope-from git@FreeBSD.org)
Received: from gitrepo.freebsd.org (gitrepo.freebsd.org
[IPv6:2610:1c1:1:6068::e6a:5])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(Client did not present a certificate)
by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 8A2D713152;
Wed, 29 Sep 2021 06:09:13 +0000 (UTC) (envelope-from git@FreeBSD.org)
Received: from gitrepo.freebsd.org ([127.0.1.44])
by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 18T69DQF089054;
Wed, 29 Sep 2021 06:09:13 GMT (envelope-from git@gitrepo.freebsd.org)
Received: (from git@localhost)
by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 18T69Dhl089053;
Wed, 29 Sep 2021 06:09:13 GMT (envelope-from git)
Date: Wed, 29 Sep 2021 06:09:13 GMT
Message-Id: <202109290609.18T69Dhl089053@gitrepo.freebsd.org>
To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org,
dev-commits-ports-main@FreeBSD.org
From: Yuri Victorovich <yuri@FreeBSD.org>
Subject: git: 39cfa300db1b - main - math/py-arybo: New port: Manipulation of
mixed boolean-arithmetic symbolic expressions
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Git-Committer: yuri
X-Git-Repository: ports
X-Git-Refname: refs/heads/main
X-Git-Reftype: branch
X-Git-Commit: 39cfa300db1b158f0a761255bdd27da44323d2b0
Auto-Submitted: auto-generated
X-BeenThere: dev-commits-ports-all@freebsd.org
X-Mailman-Version: 2.1.34
Precedence: list
List-Id: Commit messages for all branches of the ports repository
<dev-commits-ports-all.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/dev-commits-ports-all>,
<mailto:dev-commits-ports-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/dev-commits-ports-all/>
List-Post: <mailto:dev-commits-ports-all@freebsd.org>
List-Help: <mailto:dev-commits-ports-all-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/dev-commits-ports-all>,
<mailto:dev-commits-ports-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 29 Sep 2021 06:09:13 -0000
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