Date: Wed, 14 Sep 2022 04:42:15 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: c9fc5eee7aab - main - math/clingcon: New port: Extension of clingo to handle constraints over integers Message-ID: <202209140442.28E4gFsv078389@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=c9fc5eee7aabfb09f3476e00f96b361f277af314 commit c9fc5eee7aabfb09f3476e00f96b361f277af314 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2022-09-14 03:49:21 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2022-09-14 04:41:15 +0000 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(+) 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 <bsd.port.mk> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202209140442.28E4gFsv078389>