From unknown Sat Aug 16 14:32:00 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73866] [PATCH] gnu: Add clingcon. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 18 Oct 2024 18:31:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 73866 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73866@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172927620620228 (code B ref -1); Fri, 18 Oct 2024 18:31:01 +0000 Received: (at submit) by debbugs.gnu.org; 18 Oct 2024 18:30:06 +0000 Received: from localhost ([127.0.0.1]:40012 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t1rjh-0005G9-Cj for submit@debbugs.gnu.org; Fri, 18 Oct 2024 14:30:05 -0400 Received: from lists.gnu.org ([209.51.188.17]:35634) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t1rje-0005Ft-Bq for submit@debbugs.gnu.org; Fri, 18 Oct 2024 14:30:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1t1rhA-0000KG-HI for guix-patches@gnu.org; Fri, 18 Oct 2024 14:27:28 -0400 Received: from mail-wr1-x441.google.com ([2a00:1450:4864:20::441]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1t1rh8-00026x-PK for guix-patches@gnu.org; Fri, 18 Oct 2024 14:27:28 -0400 Received: by mail-wr1-x441.google.com with SMTP id ffacd0b85a97d-37d4d1b48f3so1782434f8f.1 for ; Fri, 18 Oct 2024 11:27:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1729276045; x=1729880845; darn=gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=fnBkEEVBlSjvxwvOZqXsJoNiCHq/93thcdOTdKAqSuI=; b=iG9bErGesh0xi4cg4DEmO/vMIAyg6X/uMngBNm3V33MkWbEswj6ZKQHvaR3c4QJzzN bYnR705J2k6sUPmc1wvYgeBN1gaU7Oir84vuyn6cagOo55nwRZraZHHFgXHg2DAhXxfy tmRC2eGCB+7ueHsfI9rEpHEamzVZkrE+UVvrAgv6KLMo4p6e4Lc/09IJUfwzqd6g3QAA SaINtG0gjqIWCFHPL3OVkpNwURTfe4aZ0XMQ56n4XRrJWq1+jqZ8qKDh5IvZJ6XG4OHj G5ZW2aqHGfy6NVq16fziJpXJNsbeXJrawWpEpkRAwKzVQgGDDZxl75izcBBd8t4EGQOO pMlQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1729276045; x=1729880845; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=fnBkEEVBlSjvxwvOZqXsJoNiCHq/93thcdOTdKAqSuI=; b=CpaZ6mQmlYgAu2K61utE0Y3XunPt6ARtk4Mcw6MraUYJks2Zcy2NbVX+IoUlgi8sVf 3ms4BzaNekmJkSSgLCbPEAW52V6qo+TTKnX8fXE0YHs8fvLMT6/+8Pj9TyEV160Euw4q MjYtOAPqALt9Vjgn/CIpn2eCHOG/qa7y1FLi6hWfx9XndQ68HSfYz8haJB+ssHqSjpTR hjkpYPYCxZV490khNyJS8efQf3Lr1xl5A5orJxnD7SqspvSA099vV09cTi6XlnijaH0t b36/nis6YdSNvGexrfLF2Ap5G37RpBbve7KUEwtyCHaEu2v4AFGeXZ7I8TVbCymJZ5sB NQLA== X-Gm-Message-State: AOJu0YxZ6C1O2h+zH1fGQ3+kzO9JnAy3YYT4hJ1/7SKg/pZZcS+gIlrF Q0oipItNlXsIf5kkcGQawZafDAWgIdoAszvRQuKr2P/ByUbXUheKqJVfr+GI X-Google-Smtp-Source: AGHT+IE0uvE7mkJA8PyF2cG9Y9cxPUB8FiJOX867f/zQ5fQMtWzo1eFxbbSxuMqfuXzJXslyr277xQ== X-Received: by 2002:adf:f60f:0:b0:37c:cc4b:d1ea with SMTP id ffacd0b85a97d-37eb4897310mr2446688f8f.53.1729276044587; Fri, 18 Oct 2024 11:27:24 -0700 (PDT) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-37ecf0ed860sm2514690f8f.83.2024.10.18.11.27.24 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 18 Oct 2024 11:27:24 -0700 (PDT) Message-ID: In-Reply-To: <26b4dc659ca3ac62b96af78e84c4d1aba746e4cf.1729276009.git.liliana.prikler@gmail.com> References: <26b4dc659ca3ac62b96af78e84c4d1aba746e4cf.1729276009.git.liliana.prikler@gmail.com> From: Liliana Marie Prikler Date: Thu, 3 Oct 2024 08:11:20 +0200 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::441; envelope-from=liliana.prikler@gmail.com; helo=mail-wr1-x441.google.com X-Spam_score_int: 33 X-Spam_score: 3.3 X-Spam_bar: +++ X-Spam_report: (3.3 / 5.0 requ) BAYES_00=-1.9, DATE_IN_PAST_96_XX=3.405, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, MALFORMED_FREEMAIL=2.041, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 2.8 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (clingcon): New variable. --- gnu/packages/potassco.scm | 41 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 3465974fde..ec990f1382 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -275,6 +275,47 @@ (define-publ [...] Content analysis details: (2.8 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_VALIDITY_RPBL_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.51.188.17 listed in bl.score.senderscore.com] 2.1 DATE_IN_PAST_96_XX Date: is 96 hours or more before Received: date 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 0.0 RCVD_IN_VALIDITY_SAFE_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.51.188.17 listed in sa-accredit.habeas.com] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [209.51.188.17 listed in list.dnswl.org] 2.0 MALFORMED_FREEMAIL Bad headers on message from free email service X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.8 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (clingcon): New variable. --- gnu/packages/potassco.scm | 41 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 3465974fde..ec990f1382 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -275,6 +275,47 @@ (define-publ [...] Content analysis details: (1.8 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_VALIDITY_SAFE_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.51.188.17 listed in sa-accredit.habeas.com] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [209.51.188.17 listed in list.dnswl.org] 0.0 RCVD_IN_VALIDITY_RPBL_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.51.188.17 listed in bl.score.senderscore.com] 2.1 DATE_IN_PAST_96_XX Date: is 96 hours or more before Received: date 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 2.0 MALFORMED_FREEMAIL Bad headers on message from free email service -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/potassco.scm (clingcon): New variable. --- gnu/packages/potassco.scm | 41 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 3465974fde..ec990f1382 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -275,6 +275,47 @@ (define-public clingo-lpx and goals over linear (in)equations.") (license license:expat))) +(define-public clingcon + (package + (name "clingcon") + (version "5.2.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clingcon") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (modules '((guix build utils))) + (snippet + #~(begin + (delete-file-recursively "third_party"))) + (sha256 + (base32 + "0050qp5gpznigpm743br8yhjg62gl739xmzkfr70hlqm1xrj0sa7")))) + (build-system cmake-build-system) + (arguments + (list #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'patch-cmake + (lambda _ + (substitute* "CMakeLists.txt" + (("add_subdirectory\\(third_party\\)") + "find_package(Catch2 3 REQUIRED)")) + ;; We use libwide-integer as a header-only library, so there + ;; is no library to link + (substitute* "libclingcon/CMakeLists.txt" + (("target_link_libraries\\(.* libwide-integer\\)" all) + (string-append "#" all)))))))) + (home-page "https://potassco.org/clingcon") + (inputs (list clingo wide-integer)) + (native-inputs (list catch2-3)) + (synopsis "Constraint answer set solver") + (description "Clingcon is an answer set solver for constraint logic +It extends Clingo with constraint solving capacities for constraints over +finite domain integer variables, using techniques from the area of SMT, +like conflict-driven learning and theory propagation.") + (license license:expat))) + (define-public plasp (package (name "plasp") -- 2.46.0 From unknown Sat Aug 16 14:32:00 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Liliana Marie Prikler Subject: bug#73866: closed (Re: [PATCH] gnu: Add clingcon.) Message-ID: References: <73fcea31f8033cf3b0822577eef1b7e91b46f19f.camel@gmail.com> X-Gnu-PR-Message: they-closed 73866 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 73866@debbugs.gnu.org Date: Sun, 27 Oct 2024 08:45:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1730018702-4541-1" This is a multi-part message in MIME format... ------------=_1730018702-4541-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #73866: [PATCH] gnu: Add clingcon. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 73866@debbugs.gnu.org. --=20 73866: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D73866 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1730018702-4541-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 73866-done) by debbugs.gnu.org; 27 Oct 2024 08:44:39 +0000 Received: from localhost ([127.0.0.1]:43734 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t4yt5-0001AI-ES for submit@debbugs.gnu.org; Sun, 27 Oct 2024 04:44:39 -0400 Received: from mail-wr1-f67.google.com ([209.85.221.67]:59878) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t4yt3-0001A6-3H; Sun, 27 Oct 2024 04:44:37 -0400 Received: by mail-wr1-f67.google.com with SMTP id ffacd0b85a97d-37d47b38336so2392536f8f.3; Sun, 27 Oct 2024 01:44:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1730018581; x=1730623381; darn=debbugs.gnu.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date :message-id:reply-to; bh=mhEv1t+rf6ezEaH4SSFazWv/9ORRjB0o6CJnpPX9qlo=; b=dEeQlUXg0hiahx9WOw0ZX2iVt2zWWqc7VNyZaZAGpEadou9rO0Hb4Ok3uCY+cM/hTR K+Bh/gZZIu8aYmqgvpt1dA4lox6QgQWw27t2u04KomCSt/hBsOwy+JSahAc9BOAqqnAq Yj5p4JVpZrlNcViG2922pVv2C7ioRukQhVaPI3BTjIuv1wbQrA1X8dQABYSk6wPvg6Hm BPil2HA/MBqnxGooWtb5VoPIe7CyDzXHoAieAzlL/QlARJwW+oUZDVdeRxCogfL7mTBs GAFPwYP88a/vfGBjVptYsUCNOYUD70jMYsslVWBJkTFLlc+ruI+HHqBCVcJD5WQTA9AM EGLg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1730018581; x=1730623381; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=mhEv1t+rf6ezEaH4SSFazWv/9ORRjB0o6CJnpPX9qlo=; b=szMkxuaCfaxWv8eOZAv931RfSbpUPnK+zZPmmjR937mDoHwkXc2e1NMJkX/r82bdz3 J2ZpW45TCD1xPSIBfRWs0DJZPOYmNFHY7ypXELgjEm58ZRvnKNWhigHIeg2rlSOgsw9K HLWZGHkSOWXauXnXQkJxQZD8mv5ItQxUSLaJrnZZgdVufC/JPuUvmHff3mA65mbIvEv3 2cD17OG/vZXTlss6NlPY6TQUENb9JYkzsJDnjZ/oYWKqmPwWe+Qr19mqdFhHlEfXAlXD LWvJSVFITmf1ZY9kwuOU8uzgJnef82Nz0BR4zlJCBn5WuXfPnCHF+mshweL71z8/WIbF TwcA== X-Forwarded-Encrypted: i=1; AJvYcCVT0nFiKWn9Lus7qeP4VAvx94hsjVSMPBzcCCMyECKw9eeSYVrP/WdtvspGLR0WmMhShsWWdaCr0sqc@debbugs.gnu.org X-Gm-Message-State: AOJu0YxsMoYN7dyqbgl5YxbiL5i9iH6DVbjEKL+qTSwOKHddg2p2KE15 ep5trLhcJir53emwVcfJJZ4iR6Yqy06Lesz3h5JwBANdTgQp7sUXe3ixGt9B X-Google-Smtp-Source: AGHT+IHWjUOI9sGXQj+9gqiJwF09lB+bevQbqlVaW7Hw/eXdORKj0tufafqGc587HVIpec0FyRqEVw== X-Received: by 2002:adf:face:0:b0:37d:481e:fd3 with SMTP id ffacd0b85a97d-38061162b6emr3145600f8f.26.1730018581109; Sun, 27 Oct 2024 01:43:01 -0700 (PDT) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-38058b714fesm6256011f8f.71.2024.10.27.01.42.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 27 Oct 2024 01:42:59 -0700 (PDT) Message-ID: <73fcea31f8033cf3b0822577eef1b7e91b46f19f.camel@gmail.com> Subject: Re: [PATCH] gnu: Add clingcon. From: Liliana Marie Prikler To: 73866-done@debbugs.gnu.org, 73867-done@debbugs.gnu.org Date: Sun, 27 Oct 2024 09:42:50 +0100 In-Reply-To: References: <26b4dc659ca3ac62b96af78e84c4d1aba746e4cf.1729276009.git.liliana.prikler@gmail.com> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.48.4 MIME-Version: 1.0 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 73866-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Am Donnerstag, dem 03.10.2024 um 08:11 +0200 schrieb Liliana Marie Prikler: > * gnu/packages/potassco.scm (clingo-lpx): New variable. > --- > * gnu/packages/potassco.scm (clingcon): New variable. > --- Pushed. Cheers ------------=_1730018702-4541-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 18 Oct 2024 18:30:06 +0000 Received: from localhost ([127.0.0.1]:40012 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t1rjh-0005G9-Cj for submit@debbugs.gnu.org; Fri, 18 Oct 2024 14:30:05 -0400 Received: from lists.gnu.org ([209.51.188.17]:35634) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t1rje-0005Ft-Bq for submit@debbugs.gnu.org; Fri, 18 Oct 2024 14:30:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1t1rhA-0000KG-HI for guix-patches@gnu.org; Fri, 18 Oct 2024 14:27:28 -0400 Received: from mail-wr1-x441.google.com ([2a00:1450:4864:20::441]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1t1rh8-00026x-PK for guix-patches@gnu.org; Fri, 18 Oct 2024 14:27:28 -0400 Received: by mail-wr1-x441.google.com with SMTP id ffacd0b85a97d-37d4d1b48f3so1782434f8f.1 for ; Fri, 18 Oct 2024 11:27:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1729276045; x=1729880845; darn=gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=fnBkEEVBlSjvxwvOZqXsJoNiCHq/93thcdOTdKAqSuI=; b=iG9bErGesh0xi4cg4DEmO/vMIAyg6X/uMngBNm3V33MkWbEswj6ZKQHvaR3c4QJzzN bYnR705J2k6sUPmc1wvYgeBN1gaU7Oir84vuyn6cagOo55nwRZraZHHFgXHg2DAhXxfy tmRC2eGCB+7ueHsfI9rEpHEamzVZkrE+UVvrAgv6KLMo4p6e4Lc/09IJUfwzqd6g3QAA SaINtG0gjqIWCFHPL3OVkpNwURTfe4aZ0XMQ56n4XRrJWq1+jqZ8qKDh5IvZJ6XG4OHj G5ZW2aqHGfy6NVq16fziJpXJNsbeXJrawWpEpkRAwKzVQgGDDZxl75izcBBd8t4EGQOO pMlQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1729276045; x=1729880845; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=fnBkEEVBlSjvxwvOZqXsJoNiCHq/93thcdOTdKAqSuI=; b=CpaZ6mQmlYgAu2K61utE0Y3XunPt6ARtk4Mcw6MraUYJks2Zcy2NbVX+IoUlgi8sVf 3ms4BzaNekmJkSSgLCbPEAW52V6qo+TTKnX8fXE0YHs8fvLMT6/+8Pj9TyEV160Euw4q MjYtOAPqALt9Vjgn/CIpn2eCHOG/qa7y1FLi6hWfx9XndQ68HSfYz8haJB+ssHqSjpTR hjkpYPYCxZV490khNyJS8efQf3Lr1xl5A5orJxnD7SqspvSA099vV09cTi6XlnijaH0t b36/nis6YdSNvGexrfLF2Ap5G37RpBbve7KUEwtyCHaEu2v4AFGeXZ7I8TVbCymJZ5sB NQLA== X-Gm-Message-State: AOJu0YxZ6C1O2h+zH1fGQ3+kzO9JnAy3YYT4hJ1/7SKg/pZZcS+gIlrF Q0oipItNlXsIf5kkcGQawZafDAWgIdoAszvRQuKr2P/ByUbXUheKqJVfr+GI X-Google-Smtp-Source: AGHT+IE0uvE7mkJA8PyF2cG9Y9cxPUB8FiJOX867f/zQ5fQMtWzo1eFxbbSxuMqfuXzJXslyr277xQ== X-Received: by 2002:adf:f60f:0:b0:37c:cc4b:d1ea with SMTP id ffacd0b85a97d-37eb4897310mr2446688f8f.53.1729276044587; Fri, 18 Oct 2024 11:27:24 -0700 (PDT) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-37ecf0ed860sm2514690f8f.83.2024.10.18.11.27.24 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 18 Oct 2024 11:27:24 -0700 (PDT) Message-ID: In-Reply-To: <26b4dc659ca3ac62b96af78e84c4d1aba746e4cf.1729276009.git.liliana.prikler@gmail.com> References: <26b4dc659ca3ac62b96af78e84c4d1aba746e4cf.1729276009.git.liliana.prikler@gmail.com> From: Liliana Marie Prikler Date: Thu, 3 Oct 2024 08:11:20 +0200 Subject: [PATCH] gnu: Add clingcon. to: guix-patches@gnu.org MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::441; envelope-from=liliana.prikler@gmail.com; helo=mail-wr1-x441.google.com X-Spam_score_int: 33 X-Spam_score: 3.3 X-Spam_bar: +++ X-Spam_report: (3.3 / 5.0 requ) BAYES_00=-1.9, DATE_IN_PAST_96_XX=3.405, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, MALFORMED_FREEMAIL=2.041, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 2.8 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (clingcon): New variable. --- gnu/packages/potassco.scm | 41 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 3465974fde..ec990f1382 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -275,6 +275,47 @@ (define-publ [...] Content analysis details: (2.8 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_VALIDITY_RPBL_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.51.188.17 listed in bl.score.senderscore.com] 2.1 DATE_IN_PAST_96_XX Date: is 96 hours or more before Received: date 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 0.0 RCVD_IN_VALIDITY_SAFE_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.51.188.17 listed in sa-accredit.habeas.com] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [209.51.188.17 listed in list.dnswl.org] 2.0 MALFORMED_FREEMAIL Bad headers on message from free email service X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.8 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (clingcon): New variable. --- gnu/packages/potassco.scm | 41 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 3465974fde..ec990f1382 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -275,6 +275,47 @@ (define-publ [...] Content analysis details: (1.8 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_VALIDITY_SAFE_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.51.188.17 listed in sa-accredit.habeas.com] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [209.51.188.17 listed in list.dnswl.org] 0.0 RCVD_IN_VALIDITY_RPBL_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.51.188.17 listed in bl.score.senderscore.com] 2.1 DATE_IN_PAST_96_XX Date: is 96 hours or more before Received: date 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 2.0 MALFORMED_FREEMAIL Bad headers on message from free email service -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/potassco.scm (clingcon): New variable. --- gnu/packages/potassco.scm | 41 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 3465974fde..ec990f1382 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -275,6 +275,47 @@ (define-public clingo-lpx and goals over linear (in)equations.") (license license:expat))) +(define-public clingcon + (package + (name "clingcon") + (version "5.2.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clingcon") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (modules '((guix build utils))) + (snippet + #~(begin + (delete-file-recursively "third_party"))) + (sha256 + (base32 + "0050qp5gpznigpm743br8yhjg62gl739xmzkfr70hlqm1xrj0sa7")))) + (build-system cmake-build-system) + (arguments + (list #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'patch-cmake + (lambda _ + (substitute* "CMakeLists.txt" + (("add_subdirectory\\(third_party\\)") + "find_package(Catch2 3 REQUIRED)")) + ;; We use libwide-integer as a header-only library, so there + ;; is no library to link + (substitute* "libclingcon/CMakeLists.txt" + (("target_link_libraries\\(.* libwide-integer\\)" all) + (string-append "#" all)))))))) + (home-page "https://potassco.org/clingcon") + (inputs (list clingo wide-integer)) + (native-inputs (list catch2-3)) + (synopsis "Constraint answer set solver") + (description "Clingcon is an answer set solver for constraint logic +It extends Clingo with constraint solving capacities for constraints over +finite domain integer variables, using techniques from the area of SMT, +like conflict-driven learning and theory propagation.") + (license license:expat))) + (define-public plasp (package (name "plasp") -- 2.46.0 ------------=_1730018702-4541-1--