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

math/Makefile

@@ -223,6 +223,7 @@
     SUBDIR += clblas
     SUBDIR += clblast
     SUBDIR += clfft
+    SUBDIR += clingcon
     SUBDIR += clingo
     SUBDIR += cliquer
     SUBDIR += cln

math/clingcon/Makefile

@@ -0,0 +1,24 @@
+PORTNAME=	clingcon
+DISTVERSIONPREFIX=	v
+DISTVERSION=	5.2.0
+CATEGORIES=	math
+
+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
+
+LIB_DEPENDS=	libclingo.so:math/clingo
+
+USES=		cmake:testing compiler:c++17-lang
+USE_LDCONFIG=	yes
+
+USE_GITHUB=	yes
+GH_ACCOUNT=	potassco
+
+CMAKE_OFF=	PYCLINGCON_ENABLE
+CMAKE_TESTING_ON=	CLINGCON_BUILD_TESTS
+
+.include <bsd.port.mk>

math/clingcon/distinfo

@@ -0,0 +1,3 @@
+TIMESTAMP = 1663126357
+SHA256 (potassco-clingcon-v5.2.0_GH0.tar.gz) = 4b568475066e34be34110f481f7028b466c2b008e9ba41686e24ecbb468a40f2
+SIZE (potassco-clingcon-v5.2.0_GH0.tar.gz) = 333420

math/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.

math/clingcon/pkg-plist

@@ -0,0 +1,7 @@
+bin/clingcon
+include/clingcon.h
+lib/cmake/Clingcon/ClingconConfig.cmake
+lib/cmake/Clingcon/ClingconConfigVersion.cmake
+lib/cmake/Clingcon/ClingconTargets-%%CMAKE_BUILD_TYPE%%.cmake
+lib/cmake/Clingcon/ClingconTargets.cmake
+lib/libclingcon.so