From nobody Wed Sep 14 04:42:16 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 4MS73X6F13z4cD4s; Wed, 14 Sep 2022 04:42:16 +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 4MS73X4QnLz49xW; Wed, 14 Sep 2022 04:42:16 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1663130536; 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=Vt6HEKnmTeWbMyOpb+lx/sseSN6vWdGVMJuwlPeAd4A=; b=kz38KcODEGcjgxzUpIRv/HO3AQJiXtUIol6P9OdbK4lwL2ZinRW+KUXGT4sVrdQSSVhdLz yirvWAulJ7uuq/Nzi9iL0NVzj8YX1DAKDnC0IwetagfCZzEvYY+OxBXIMFybe/qmmZXrRk B9LH3FKQPTTOAHFDqW5qBgx/jQBqBiU65RGB9Tvafqw01uprfHgeizuH//A2LhbQb1IkW+ 7PvVw5zdixpsV34c08jVCgXaqtlnNaZvc7U+09UxwEHblJQIXPiwXGXbrSpwRBWQl1aJp+ Pl6gKl1JnZeXMffOmV0kq5YAlZP+dSu/UnGiHkUPegdZqs3Otzeh5YX1KM2xyQ== 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 4MS73X2W7RzZ25; Wed, 14 Sep 2022 04:42:16 +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 28E4gGEI078417; Wed, 14 Sep 2022 04:42:16 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 28E4gGfK078416; Wed, 14 Sep 2022 04:42:16 GMT (envelope-from git) Date: Wed, 14 Sep 2022 04:42:16 GMT Message-Id: <202209140442.28E4gGfK078416@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: 8e53d0e7de42 - main - math/py-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: 8e53d0e7de4267ff62e7af9ad547e3c166f35dbb Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1663130536; 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=Vt6HEKnmTeWbMyOpb+lx/sseSN6vWdGVMJuwlPeAd4A=; b=W0iqbvs/ahylxgPH9pfTJu+cwbuMgzHOhdMKwaC+01jHdHDVBPH3sA7JTflLe/ymLcNz79 1RLCEOFWmDdpW75p7s+Em0+C3FI9DNxdzjy9isvVzoDoHu5juOa5selelD2B8eBHB3p57F pH9XOp8JZu6jkRdEnusKpieOUnpjUWKK980f+fX7OdPB29zlBdDzEn4XlnSSZESMY34f7J vFNS1atPg6zvRUMgrfY2P46r5E5j6FWVhNEbZg/wEnvv56JuP33RFlp8Sn5l7jQju6eZYk 4nTShuRy1Vi0qPXLetAwIJy/6BIrdM+WKVLrDxsz8Oi85XQSgLyHJEN4+rt2TA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1663130536; a=rsa-sha256; cv=none; b=qns2Cz63JtrX3Sce4sTHRo2QQUxmPGQvXxVRwWyjYV984toI6HvSRrkX2lISHsJ3Qaufmm IHCgs4S+oohZ4hRlaAqZDQTOUlpcAJNML6pBBp7XN9fYZGBy3pyOgiPHPOJyWdJM6nexvn 2qmAl7xQF1xWGSY9FwJxKc/bQ13oSqkC6C5Zh6bcdcbwxJfZnNBpVIEgXz64+aGbqGfJqF IdtJq72h2YCK3tan8Gv5kYaU6gRfFMwVDs6sFn7wM9iXFQ+dExijUbxp8WO4O9r9Ft1Shl sxl3ksOCazbeu7GjOWZ4XuxaHNu+Omu6+MWzUX10lPijtRMqsxWyRM0eAL0HoA== 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=8e53d0e7de4267ff62e7af9ad547e3c166f35dbb commit 8e53d0e7de4267ff62e7af9ad547e3c166f35dbb Author: Yuri Victorovich AuthorDate: 2022-09-14 04:35:14 +0000 Commit: Yuri Victorovich CommitDate: 2022-09-14 04:41:15 +0000 math/py-clingcon: New port: Extension of clingo to handle constraints over integers --- math/Makefile | 1 + math/py-clingcon/Makefile | 26 ++++++++++++++++++++++++++ math/py-clingcon/distinfo | 3 +++ math/py-clingcon/pkg-descr | 7 +++++++ 4 files changed, 37 insertions(+) diff --git a/math/Makefile b/math/Makefile index addd782bbc3e..a2dbf805a23c 100644 --- a/math/Makefile +++ b/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 diff --git a/math/py-clingcon/Makefile b/math/py-clingcon/Makefile new file mode 100644 index 000000000000..304482893ad6 --- /dev/null +++ b/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 diff --git a/math/py-clingcon/distinfo b/math/py-clingcon/distinfo new file mode 100644 index 000000000000..765e8aaf839f --- /dev/null +++ b/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 diff --git a/math/py-clingcon/pkg-descr b/math/py-clingcon/pkg-descr new file mode 100644 index 000000000000..fb4f89b4be7d --- /dev/null +++ b/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.