From nobody Wed Sep 14 04:42:15 2022 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4MS73W3q4pz4cD2V; Wed, 14 Sep 2022 04:42:15 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4MS73W31c7z3BsR; Wed, 14 Sep 2022 04:42:15 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1663130535; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=1ygruEG7iC8hy7vokBrB7Vs2F5L0XEU62Ozqy3pbllw=; b=bCowFRkOzAgLdkod/uojfaAm2qn+yiBKAB4xBGzvv2vlBNiDakcMSpJMPH3M3b1nzD+s/a v4oWVHYu792p8UYGcEXSysCtlHdQWy+PydyFrNSbwyZXMnlZj7jX8RNtjMpSHiTJE+u0wd vRQ6Jdaj+StDinANi0K53aODUhcpNgQ/w+FlXS18xRkr9gnelnAiXhHofoi5ckiKmEIA2i KPAeYpNlWfSlttUI5KuGgbFOMR9ZTX55CfS9zU9HYoKtGm2i8phKTaMJg4/XEtQyILhSwZ 2itIY3jUhdYyBU2mP4A2BGDpj88DvaZMDTeMXW17Cj3lV/cGewopDlj58CKBbQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4MS73W1ljKzZ0c; Wed, 14 Sep 2022 04:42:15 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 28E4gFZC078390; Wed, 14 Sep 2022 04:42:15 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 28E4gFsv078389; Wed, 14 Sep 2022 04:42:15 GMT (envelope-from git) Date: Wed, 14 Sep 2022 04:42:15 GMT Message-Id: <202209140442.28E4gFsv078389@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: c9fc5eee7aab - main - math/clingcon: New port: Extension of clingo to handle constraints over integers List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: c9fc5eee7aabfb09f3476e00f96b361f277af314 Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1663130535; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=1ygruEG7iC8hy7vokBrB7Vs2F5L0XEU62Ozqy3pbllw=; b=K4aLgQyXnaSGFtrbnnLqdu1Lck+se+a0HDtzZY+hjZFh7sT/sUy71hu54ozkg817sM4oF3 VqEuf57ioqD6igKwsr0No9jDAcNpfV4248xCyQD23QCIweHgeeA9PFaBviy2R4f40dO2Lm T/zgGExPOLPsL27EyXeSCZz7HvMjRBNLAQHbu3fEfpPX2urqiVqt5wd5NppZJe/C5SsN5A 5zb19JNq4Lv0Tiee+YppftdOruoMx8YA5IT+E9OZrGTjw3rM17LEGRfZ1gB35x7xI1WN8R /tEvjRAeHygS2Yf4CayRmBnK6jTRNy+6X5/x8hv3NblJ9E/TAW4sTgvqn0HQ5A== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1663130535; a=rsa-sha256; cv=none; b=M01I9SlyY9qtJ8KMZKcGzLRNaGsyqWNEqR3qPRc1Ew2PG2QyjTIqfRrFF9VAGNqjZ8dWzn w2ePyOV6qT539PAINojjUllxrxT2Wd9WjXZpSEK5diy6kJX4gSAks/V4Bk+SUbtu+H2lQ9 5Xu2VcFW5yM5XRmoLqNHtnHib0h3QV3u1ypLNcfyEBf0ddGZtxtadKVejq2+k4PkeeNDwV g/XM4LITTKY2ETg+8vll+3moJ6Kdi6/g/v/NNhmMtb4f8hovs6o8yetJSl6NoSU2wbY5sD RuST/MyhoRLmUagFHbF0Sa/Wc+2NyjNyFkGY4/yhSUaUqcL4wJP6OXatt3KgGw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=c9fc5eee7aabfb09f3476e00f96b361f277af314 commit c9fc5eee7aabfb09f3476e00f96b361f277af314 Author: Yuri Victorovich AuthorDate: 2022-09-14 03:49:21 +0000 Commit: Yuri Victorovich 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 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