From unknown Fri Aug 15 15:34:34 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73867] [PATCH] gnu: Add clingo-lpx. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 18 Oct 2024 18:31:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 73867 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73867@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172927620820238 (code B ref -1); Fri, 18 Oct 2024 18:31:02 +0000 Received: (at submit) by debbugs.gnu.org; 18 Oct 2024 18:30:08 +0000 Received: from localhost ([127.0.0.1]:40014 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t1rjk-0005GM-2M for submit@debbugs.gnu.org; Fri, 18 Oct 2024 14:30:08 -0400 Received: from lists.gnu.org ([209.51.188.17]:35630) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t1rje-0005Fq-Ba for submit@debbugs.gnu.org; Fri, 18 Oct 2024 14:30:04 -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-0000KF-Fc for guix-patches@gnu.org; Fri, 18 Oct 2024 14:27:28 -0400 Received: from mail-wr1-x444.google.com ([2a00:1450:4864:20::444]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1t1rh8-00026Z-O2 for guix-patches@gnu.org; Fri, 18 Oct 2024 14:27:28 -0400 Received: by mail-wr1-x444.google.com with SMTP id ffacd0b85a97d-37d5aedd177so2036275f8f.1 for ; Fri, 18 Oct 2024 11:27:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1729276044; x=1729880844; darn=gnu.org; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=qjl9960EhFveqWQsP2zUyd5bSQdCzs+/2HjFGMN2KAY=; b=R3Ma3dkVQjOnMMQduVhCvATQod9B8i7lhdlyLK18HBfPIVb+66AD/pvuWWBMfUxOmn pmmYCezk7QreErCudZnqtGS0bKoTG8PG8H6AR4OYpsrbhI/7DEF1A8e6YPIwn7s/BzZX vQb7qSwqpaiE2+n1B62d6ClF7TeLcjG/2VvegQCw2o6N9EFZK0jVjdlGY2gRJUZEiW6b aobEe0g4Pha3HQVob/BXMiSFpXMTPoTMKTGE5FA/uOAIQm23PUKb13H12sj6zM0AXKhz h48pMIq1EUFeZ7x6R5a3knSTSOrc3ZrPPtUjuVhNazCOQeOIV+B8c5kwkSe1n3mt61uR DQEQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1729276044; x=1729880844; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=qjl9960EhFveqWQsP2zUyd5bSQdCzs+/2HjFGMN2KAY=; b=oqSpX2EUIYg4NQ5GA61/tS4NxiZIi7Exv55x4finok338iKe3RZF/IVlOA70iWNW7g VIpOyH5wAvXFTBtBXW5fvIDII0C9YYddVOVFW6rSimx5VIRr+5u7wGY/sOka+X1R8dxE LvdbsvyfpzJbBLrwKukpifhhkPJVZFE6NlYE7wuA6avPoAGZYfWnX0LiHo+leBED+6n4 JIF6AXEaN48s5+sw0UTrC30DVgA8SSk+sTUXjq/TQXZ7M0k2dD6KkPHC7sR+siKhMNgu v0zk2AJR5aQ95zQSDuy+CkssZbprBTb+NOVv1NXdqElkWhaGrHH2O7JXx3WwXzirWFUF rC6g== X-Gm-Message-State: AOJu0YwBgTx+sPCzy67uM/lpNOH/R66CKnwCWi9U2fa/2X7FEBYxNcN5 wBYyl5SnfH9KGK6TtgEYMuvx+1qcFpe3kC7hHrOfriJlmIxSV3OEVxNuIgYh X-Google-Smtp-Source: AGHT+IGuCYBRpV1qrjUPjTgXz8YC6AHAPOTyM59GqTnTvnJvJr169xsmNnQwAJ8WePs8hJbxwtTt0w== X-Received: by 2002:a5d:6409:0:b0:37d:3541:5643 with SMTP id ffacd0b85a97d-37eab711373mr2404443f8f.51.1729276043967; Fri, 18 Oct 2024 11:27:23 -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.23 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 18 Oct 2024 11:27:23 -0700 (PDT) Message-ID: <26b4dc659ca3ac62b96af78e84c4d1aba746e4cf.1729276009.git.liliana.prikler@gmail.com> From: Liliana Marie Prikler Date: Thu, 3 Oct 2024 08:11:13 +0200 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::444; envelope-from=liliana.prikler@gmail.com; helo=mail-wr1-x444.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 (clingo-lpx): New variable. --- gnu/packages/potassco.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 9f6b48f890..3465974fde 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -32,6 +32,7 @@ (define-module [...] Content analysis details: (2.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 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 (clingo-lpx): New variable. --- gnu/packages/potassco.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 9f6b48f890..3465974fde 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -32,6 +32,7 @@ (define-module [...] 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 (clingo-lpx): New variable. --- gnu/packages/potassco.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 9f6b48f890..3465974fde 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -32,6 +32,7 @@ (define-module (gnu packages potassco) #:use-module (guix build-system emacs) #:use-module (guix build-system python) #:use-module (guix build-system pyproject) + #:use-module (gnu packages algebra) #:use-module (gnu packages bison) #:use-module (gnu packages check) #:use-module (gnu packages cpp) @@ -238,6 +239,42 @@ (define-public clingo-dl over difference logic.") (license license:expat))) +(define-public clingo-lpx + (package + (name "clingo-lpx") + (version "1.3.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clingo-lpx") + (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 + "1i184gy18k0mpqywbgziwl5wzkwwcdks81axndk4x6hjy878vhww")))) + (build-system cmake-build-system) + (arguments + (list #:configure-flags #~(list "-DCLINGOLPX_BUILD_TESTS=on" + "-DPYCLINGOLPX_ENABLE=off") + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'patch-cmake + (lambda _ + (substitute* "CMakeLists.txt" + (("add_subdirectory\\(third_party\\)") + "find_package(Catch2 3 REQUIRED)"))))))) + (home-page "https://github.com/potassco/clingo-lpx") + (inputs (list clingo flint)) + (native-inputs (list catch2-3)) + (synopsis "Simplex solver") + (description "Clingo-LPX is an extension to Clingo that models constraints +and goals over linear (in)equations.") + (license license:expat))) + (define-public plasp (package (name "plasp") base-commit: 061e0acd596262420facef7c2d1fc9cc4327d75a -- 2.46.0 From unknown Fri Aug 15 15:34:34 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#73867: closed (Re: [PATCH] gnu: Add clingcon.) Message-ID: References: <73fcea31f8033cf3b0822577eef1b7e91b46f19f.camel@gmail.com> <26b4dc659ca3ac62b96af78e84c4d1aba746e4cf.1729276009.git.liliana.prikler@gmail.com> X-Gnu-PR-Message: they-closed 73867 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 73867@debbugs.gnu.org Date: Sun, 27 Oct 2024 08:45:03 +0000 Content-Type: multipart/mixed; boundary="----------=_1730018703-4562-1" This is a multi-part message in MIME format... ------------=_1730018703-4562-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #73867: [PATCH] gnu: Add clingo-lpx. 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 73867@debbugs.gnu.org. --=20 73867: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D73867 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1730018703-4562-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 73867-done) by debbugs.gnu.org; 27 Oct 2024 08:44:40 +0000 Received: from localhost ([127.0.0.1]:43736 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t4yt5-0001AK-Qq for submit@debbugs.gnu.org; Sun, 27 Oct 2024 04:44:40 -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: 73867-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 ------------=_1730018703-4562-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 18 Oct 2024 18:30:08 +0000 Received: from localhost ([127.0.0.1]:40014 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t1rjk-0005GM-2M for submit@debbugs.gnu.org; Fri, 18 Oct 2024 14:30:08 -0400 Received: from lists.gnu.org ([209.51.188.17]:35630) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t1rje-0005Fq-Ba for submit@debbugs.gnu.org; Fri, 18 Oct 2024 14:30:04 -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-0000KF-Fc for guix-patches@gnu.org; Fri, 18 Oct 2024 14:27:28 -0400 Received: from mail-wr1-x444.google.com ([2a00:1450:4864:20::444]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1t1rh8-00026Z-O2 for guix-patches@gnu.org; Fri, 18 Oct 2024 14:27:28 -0400 Received: by mail-wr1-x444.google.com with SMTP id ffacd0b85a97d-37d5aedd177so2036275f8f.1 for ; Fri, 18 Oct 2024 11:27:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1729276044; x=1729880844; darn=gnu.org; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=qjl9960EhFveqWQsP2zUyd5bSQdCzs+/2HjFGMN2KAY=; b=R3Ma3dkVQjOnMMQduVhCvATQod9B8i7lhdlyLK18HBfPIVb+66AD/pvuWWBMfUxOmn pmmYCezk7QreErCudZnqtGS0bKoTG8PG8H6AR4OYpsrbhI/7DEF1A8e6YPIwn7s/BzZX vQb7qSwqpaiE2+n1B62d6ClF7TeLcjG/2VvegQCw2o6N9EFZK0jVjdlGY2gRJUZEiW6b aobEe0g4Pha3HQVob/BXMiSFpXMTPoTMKTGE5FA/uOAIQm23PUKb13H12sj6zM0AXKhz h48pMIq1EUFeZ7x6R5a3knSTSOrc3ZrPPtUjuVhNazCOQeOIV+B8c5kwkSe1n3mt61uR DQEQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1729276044; x=1729880844; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=qjl9960EhFveqWQsP2zUyd5bSQdCzs+/2HjFGMN2KAY=; b=oqSpX2EUIYg4NQ5GA61/tS4NxiZIi7Exv55x4finok338iKe3RZF/IVlOA70iWNW7g VIpOyH5wAvXFTBtBXW5fvIDII0C9YYddVOVFW6rSimx5VIRr+5u7wGY/sOka+X1R8dxE LvdbsvyfpzJbBLrwKukpifhhkPJVZFE6NlYE7wuA6avPoAGZYfWnX0LiHo+leBED+6n4 JIF6AXEaN48s5+sw0UTrC30DVgA8SSk+sTUXjq/TQXZ7M0k2dD6KkPHC7sR+siKhMNgu v0zk2AJR5aQ95zQSDuy+CkssZbprBTb+NOVv1NXdqElkWhaGrHH2O7JXx3WwXzirWFUF rC6g== X-Gm-Message-State: AOJu0YwBgTx+sPCzy67uM/lpNOH/R66CKnwCWi9U2fa/2X7FEBYxNcN5 wBYyl5SnfH9KGK6TtgEYMuvx+1qcFpe3kC7hHrOfriJlmIxSV3OEVxNuIgYh X-Google-Smtp-Source: AGHT+IGuCYBRpV1qrjUPjTgXz8YC6AHAPOTyM59GqTnTvnJvJr169xsmNnQwAJ8WePs8hJbxwtTt0w== X-Received: by 2002:a5d:6409:0:b0:37d:3541:5643 with SMTP id ffacd0b85a97d-37eab711373mr2404443f8f.51.1729276043967; Fri, 18 Oct 2024 11:27:23 -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.23 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 18 Oct 2024 11:27:23 -0700 (PDT) Message-ID: <26b4dc659ca3ac62b96af78e84c4d1aba746e4cf.1729276009.git.liliana.prikler@gmail.com> From: Liliana Marie Prikler Date: Thu, 3 Oct 2024 08:11:13 +0200 Subject: [PATCH] gnu: Add clingo-lpx. to: guix-patches@gnu.org MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::444; envelope-from=liliana.prikler@gmail.com; helo=mail-wr1-x444.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 (clingo-lpx): New variable. --- gnu/packages/potassco.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 9f6b48f890..3465974fde 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -32,6 +32,7 @@ (define-module [...] Content analysis details: (2.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 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 (clingo-lpx): New variable. --- gnu/packages/potassco.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 9f6b48f890..3465974fde 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -32,6 +32,7 @@ (define-module [...] 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 (clingo-lpx): New variable. --- gnu/packages/potassco.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 9f6b48f890..3465974fde 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -32,6 +32,7 @@ (define-module (gnu packages potassco) #:use-module (guix build-system emacs) #:use-module (guix build-system python) #:use-module (guix build-system pyproject) + #:use-module (gnu packages algebra) #:use-module (gnu packages bison) #:use-module (gnu packages check) #:use-module (gnu packages cpp) @@ -238,6 +239,42 @@ (define-public clingo-dl over difference logic.") (license license:expat))) +(define-public clingo-lpx + (package + (name "clingo-lpx") + (version "1.3.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clingo-lpx") + (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 + "1i184gy18k0mpqywbgziwl5wzkwwcdks81axndk4x6hjy878vhww")))) + (build-system cmake-build-system) + (arguments + (list #:configure-flags #~(list "-DCLINGOLPX_BUILD_TESTS=on" + "-DPYCLINGOLPX_ENABLE=off") + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'patch-cmake + (lambda _ + (substitute* "CMakeLists.txt" + (("add_subdirectory\\(third_party\\)") + "find_package(Catch2 3 REQUIRED)"))))))) + (home-page "https://github.com/potassco/clingo-lpx") + (inputs (list clingo flint)) + (native-inputs (list catch2-3)) + (synopsis "Simplex solver") + (description "Clingo-LPX is an extension to Clingo that models constraints +and goals over linear (in)equations.") + (license license:expat))) + (define-public plasp (package (name "plasp") base-commit: 061e0acd596262420facef7c2d1fc9cc4327d75a -- 2.46.0 ------------=_1730018703-4562-1--