From c9fc5eee7aabfb09f3476e00f96b361f277af314 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Tue, 13 Sep 2022 20:49:21 -0700 Subject: [PATCH] math/clingcon: New port: Extension of clingo to handle constraints over integers --- math/Makefile | 1 + math/clingcon/Makefile | 24 ++++++++++++++++++++++++ math/clingcon/distinfo | 3 +++ math/clingcon/pkg-descr | 7 +++++++ math/clingcon/pkg-plist | 7 +++++++ 5 files changed, 42 insertions(+) create mode 100644 math/clingcon/Makefile create mode 100644 math/clingcon/distinfo create mode 100644 math/clingcon/pkg-descr create mode 100644 math/clingcon/pkg-plist diff --git a/math/Makefile b/math/Makefile index 35492690f529..addd782bbc3e 100644 --- a/math/Makefile +++ b/math/Makefile @@ -223,6 +223,7 @@ SUBDIR += clblas SUBDIR += clblast SUBDIR += clfft + SUBDIR += clingcon SUBDIR += clingo SUBDIR += cliquer SUBDIR += cln diff --git a/math/clingcon/Makefile b/math/clingcon/Makefile new file mode 100644 index 000000000000..c6b0cd38697d --- /dev/null +++ b/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 diff --git a/math/clingcon/distinfo b/math/clingcon/distinfo new file mode 100644 index 000000000000..b107d00ced92 --- /dev/null +++ b/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 diff --git a/math/clingcon/pkg-descr b/math/clingcon/pkg-descr new file mode 100644 index 000000000000..fb4f89b4be7d --- /dev/null +++ b/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. diff --git a/math/clingcon/pkg-plist b/math/clingcon/pkg-plist new file mode 100644 index 000000000000..7f9e3667eb41 --- /dev/null +++ b/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