git: 39cfa300db1b - main - math/py-arybo: New port: Manipulation of mixed boolean-arithmetic symbolic expressions

[Yuri Victorovich]

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=39cfa300db1b158f0a761255bdd27da44323d2b0

commit 39cfa300db1b158f0a761255bdd27da44323d2b0
Author:     Yuri Victorovich <yuri at FreeBSD.org>
AuthorDate: 2021-09-29 06:07:19 +0000
Commit:     Yuri Victorovich <yuri at 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 at 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