git: cf957f22a8e8 - main - math/py-logical-unification: New port: Logical unification in Python

The branch main has been updated by yuri:

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

commit cf957f22a8e8653fbf7d1b8beb4915de3afaa076
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-06-21 01:06:48 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-06-21 01:34:32 +0000

    math/py-logical-unification: New port: Logical unification in Python
---
 math/Makefile                         |  1 +
 math/py-logical-unification/Makefile  | 28 ++++++++++++++++++++++++++++
 math/py-logical-unification/distinfo  |  3 +++
 math/py-logical-unification/pkg-descr |  4 ++++
 4 files changed, 36 insertions(+)

diff --git a/math/Makefile b/math/Makefile
index 28d1cda1bbc7..39adc901b944 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -955,6 +955,7 @@
     SUBDIR += py-libpoly
     SUBDIR += py-linearmodels
     SUBDIR += py-lmfit
+    SUBDIR += py-logical-unification
     SUBDIR += py-lrcalc
     SUBDIR += py-luminol
     SUBDIR += py-mapbox-earcut
diff --git a/math/py-logical-unification/Makefile b/math/py-logical-unification/Makefile
new file mode 100644
index 000000000000..acf64da08928
--- /dev/null
+++ b/math/py-logical-unification/Makefile
@@ -0,0 +1,28 @@
+PORTNAME=	logical-unification
+DISTVERSIONPREFIX=	v
+DISTVERSION=	0.4.6
+CATEGORIES=	math python
+#MASTER_SITES=	PYPI # no tests
+PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
+
+MAINTAINER=	yuri@FreeBSD.org
+COMMENT=	Logical unification in Python
+WWW=		https://github.com/pythological/unification/
+
+LICENSE=	BSD3CLAUSE
+LICENSE_FILE=	${WRKSRC}/LICENSE.txt
+
+BUILD_DEPENDS=	${PYTHON_PKGNAMEPREFIX}versioneer>0:devel/py-versioneer@${PY_FLAVOR}
+RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}multipledispatch>0:devel/py-multipledispatch@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}toolz>0:devel/py-toolz@${PY_FLAVOR}
+
+USES=		python:3.7+
+USE_PYTHON=	distutils autoplist pytest
+
+USE_GITHUB=	yes
+GH_ACCOUNT=	pythological
+GH_PROJECT=	unification
+
+NO_ARCH=	yes
+
+.include <bsd.port.mk>
diff --git a/math/py-logical-unification/distinfo b/math/py-logical-unification/distinfo
new file mode 100644
index 000000000000..8a6784b13713
--- /dev/null
+++ b/math/py-logical-unification/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1687308754
+SHA256 (pythological-unification-v0.4.6_GH0.tar.gz) = db8a44a38d2c459b796fd0d8163505ce198c1e98bced1ed7df2d0b3125efe655
+SIZE (pythological-unification-v0.4.6_GH0.tar.gz) = 47171
diff --git a/math/py-logical-unification/pkg-descr b/math/py-logical-unification/pkg-descr
new file mode 100644
index 000000000000..02215967755e
--- /dev/null
+++ b/math/py-logical-unification/pkg-descr
@@ -0,0 +1,4 @@
+Logical unification in Python, extensible via dispatch.
+
+In logic and computer science, unification is an algorithmic process of solving
+equations between symbolic expressions.