math/py-clingo: New port: Grounder and solver for logic programs

math/Makefile

@@ -848,6 +848,7 @@
     SUBDIR += py-brial
     SUBDIR += py-chaospy
     SUBDIR += py-claripy
+    SUBDIR += py-clingo
     SUBDIR += py-cma
     SUBDIR += py-cmaes
     SUBDIR += py-cmyt

math/py-clingo/Makefile

@@ -0,0 +1,27 @@
+PORTNAME=	clingo
+PORTVERSION=	5.6.0
+CATEGORIES=	math python
+MASTER_SITES=	CHEESESHOP
+PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
+
+MAINTAINER=	yuri@FreeBSD.org
+COMMENT=	Grounder and solver for logic programs
+WWW=		https://potassco.org/clingo/
+
+LICENSE=	MIT
+LICENSE_FILE=	${WRKSRC}/LICENSE.md
+
+BUILD_DEPENDS=	cmake:devel/cmake \
+		${PYTHON_PKGNAMEPREFIX}cffi>0:devel/py-cffi@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}scikit-build>0:devel/py-scikit-build@${PY_FLAVOR}
+
+USES=		compiler:c++14-lang python:3.6+
+USE_PYTHON=	distutils autoplist unittest # some tests break, see https://github.com/potassco/clingo/issues/390
+
+TEST_ENV=	${MAKE_ENV} PYTHONPATH=${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}
+TEST_WRKSRC=	${WRKSRC}/libpyclingo/clingo/tests
+
+post-install:
+	@${STRIP_CMD} ${STAGEDIR}${PYTHON_SITELIBDIR}/clingo/_clingo.cpython-${PYTHON_SUFFIX}.so
+
+.include <bsd.port.mk>

math/py-clingo/distinfo

@@ -0,0 +1,3 @@
+TIMESTAMP = 1663123343
+SHA256 (clingo-5.6.0.tar.gz) = 89cb294f0d6e1a00ad97616dd79ede9b261c43edadd43efd1127ddd370ecbcde
+SIZE (clingo-5.6.0.tar.gz) = 1805591

math/py-clingo/pkg-descr

@@ -0,0 +1,3 @@
+Answer Set Programming (ASP) offers a simple and powerful modeling language to
+solve combinatorial problems. With these tools users can concentrate on an
+actual problem, rather than a smart way of implementing it.