math/py-clingcon: New port: Extension of clingo to handle constraints over integers

math/Makefile

@@ -849,6 +849,7 @@
     SUBDIR += py-brial
     SUBDIR += py-chaospy
     SUBDIR += py-claripy
+    SUBDIR += py-clingcon
     SUBDIR += py-clingo
     SUBDIR += py-cma
     SUBDIR += py-cmaes

math/py-clingcon/Makefile

@@ -0,0 +1,26 @@
+PORTNAME=	clingcon
+DISTVERSION=	5.2.0
+CATEGORIES=	math python
+MASTER_SITES=	CHEESESHOP
+PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
+
+MAINTAINER=	yuri@FreeBSD.org
+COMMENT=	Extension of clingo to handle constraints over integers
+WWW=		https://potassco.org/clingcon/
+
+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} \
+		${PYTHON_PKGNAMEPREFIX}clingo>0:math/py-clingo@${PY_FLAVOR}
+RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}clingo>0:math/py-clingo@${PY_FLAVOR}
+
+USES=		compiler:c++17-lang python:3.6+
+USE_PYTHON=	distutils autoplist
+
+post-install:
+	@${STRIP_CMD} ${STAGEDIR}${PYTHON_SITELIBDIR}/clingcon/_clingcon${PYTHON_EXT_SUFFIX}.so
+
+.include <bsd.port.mk>

math/py-clingcon/distinfo

@@ -0,0 +1,3 @@
+TIMESTAMP = 1663127500
+SHA256 (clingcon-5.2.0.tar.gz) = 395b929068c767cf483994cced0b7cb02bb6c2279501c2aeb88d7145b487accf
+SIZE (clingcon-5.2.0.tar.gz) = 290120

math/py-clingcon/pkg-descr

@@ -0,0 +1,7 @@
+Clingcon is an answer set solver for constraint logic programs, building upon
+the answer set solver clingo. It extends the high-level modeling language of ASP
+with constraint solving capacities. Constraints over finite domain integer
+variables can be used in logic programs. Clingcon adopts state-of-the-art
+techniques from the area of SMT, like conflict-driven learning and theory
+propagation. It uses lazy nogood and variable generation on the order encoding
+and features several preprocessing techniques.