From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 01 05:56:12 2021 Received: (at submit) by debbugs.gnu.org; 1 Oct 2021 09:56:12 +0000 Received: from localhost ([127.0.0.1]:54723 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mWFH1-00005v-UR for submit@debbugs.gnu.org; Fri, 01 Oct 2021 05:56:12 -0400 Received: from lists.gnu.org ([209.51.188.17]:33480) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mWFGy-00005k-0M for submit@debbugs.gnu.org; Fri, 01 Oct 2021 05:56:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41208) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mWFGx-0002IM-Gu for guix-patches@gnu.org; Fri, 01 Oct 2021 05:56:07 -0400 Received: from mail-wm1-x32c.google.com ([2a00:1450:4864:20::32c]:35573) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mWFGw-0000db-1p for guix-patches@gnu.org; Fri, 01 Oct 2021 05:56:07 -0400 Received: by mail-wm1-x32c.google.com with SMTP id z184-20020a1c7ec1000000b003065f0bc631so10808676wmc.0 for ; Fri, 01 Oct 2021 02:56:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:from:date:subject:to:content-transfer-encoding :mime-version; bh=lXIH+QfFGe5aHbgrNf5wairgKiR0uCKimqqo7yY2gGs=; b=jYx6EuC3RfMIhe2abPLbMXJyY4eSxJUDah6yOJdVtggts+7yXfcKCsPzkRn1FdTNHh /hJ0UDrquzJzTLa0mUUKBduqCFn9zRdxOm1vl934HYGJf0wnQVuEFcSc72gUcNvOkZ4/ c1lns81aMfouZY96t+WMLhnFKWKm8r8uLA6hSH3BEwhnuchKtrvhkQGBOLGmBJlnt+0t xIoeGra3MC4niUmjx+0xUutxk3JF+1aLuDSMJRIFpImVAXZYM4sN76ee0e+7QnF6dGvz Xj50RLaLCWVxLXRq/NKaayO7UwbP0hmBi2Pz2YyCHh3uFDAWTFhvoK085yUETU4wXfZW uf2w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:from:date:subject:to :content-transfer-encoding:mime-version; bh=lXIH+QfFGe5aHbgrNf5wairgKiR0uCKimqqo7yY2gGs=; b=JL4SZ256OifxxmdkhXZtxR05plhS380Va8OIoToqHj4ZJMf4QDxS0a826Hpqfol+pP MSoLAVxzRTBjFSUvU17W9O2n/eXU9IYedx5j9ABKCYFenYeigGvHAzmvnPOgKWuHjv3I eCzHzqhndWSMNc4ZjzVfr0Z0BvEz09qZ9bk7RS0Oqb/RicS2a/nd1GfmD0yKUsPef6Sx akD1oADkq9i8p2avCOMmaq5SrBa9FvM8PxthGJc24HhdnI+sbTi6taY9aJOCJY/mbX0Q v5mv0dZ/M67dNR5iRctR8IBdnQYTA+bAzQ/iB5bBREjQLA8ORzhXKyD8ndrx1keV5MI8 Tpqg== X-Gm-Message-State: AOAM531f93RN/eXQzBnW//hF6bLxjuzG2VvmsN8aYgWYW/v3BUDJ+hor d7KmELFO7+6pBriRQILOQk/GtSuzbi4= X-Google-Smtp-Source: ABdhPJxjnqx08LAmF1esbGpW7t+SjAMY2Sygqymb/OsU3K1UiAE76xXkK/1o4gS2CE8QMpsuqDmJpw== X-Received: by 2002:a1c:2b02:: with SMTP id r2mr3499086wmr.55.1633082164774; Fri, 01 Oct 2021 02:56:04 -0700 (PDT) Received: from nijino.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id a18sm4028936wrw.0.2021.10.01.02.56.03 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 01 Oct 2021 02:56:04 -0700 (PDT) Message-Id: From: Liliana Marie Prikler Date: Fri, 1 Oct 2021 11:51:22 +0200 Subject: [PATCH 0/3] Add clingo to: guix-patches Content-Transfer-Encoding: 7bit MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::32c; envelope-from=liliana.prikler@gmail.com; helo=mail-wm1-x32c.google.com X-Spam_score_int: -4 X-Spam_score: -0.5 X-Spam_bar: / X-Spam_report: (-0.5 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, PDS_TONAME_EQ_TOLOCAL_HDRS_LCASE=1.624, 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: -1.3 (-) 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: -2.3 (--) This patch adds a package for clingo ad its dependencies. I haven't tested clingo itself (I did test clasp however) and the test suite has two failing assertion in the solver category, but as far as I can see it ought to work mostly. Regards, Liliana Liliana Marie Prikler (3): gnu: Add libpotassco. gnu: Add clasp. gnu: Add clingo. gnu/packages/maths.scm | 157 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 157 insertions(+) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 01 06:16:53 2021 Received: (at 50933) by debbugs.gnu.org; 1 Oct 2021 10:16:53 +0000 Received: from localhost ([127.0.0.1]:54741 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mWFb3-0000bR-2y for submit@debbugs.gnu.org; Fri, 01 Oct 2021 06:16:53 -0400 Received: from mail-wr1-f67.google.com ([209.85.221.67]:37807) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mWFb0-0000bA-KJ for 50933@debbugs.gnu.org; Fri, 01 Oct 2021 06:16:52 -0400 Received: by mail-wr1-f67.google.com with SMTP id a18so2580415wru.4 for <50933@debbugs.gnu.org>; Fri, 01 Oct 2021 03:16:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:in-reply-to:references:from:date:subject:to :content-transfer-encoding:mime-version; bh=ILPBPviU92LfC/G0qfbkkr28rQ2jIHcrIseR2qJEc84=; b=m5E5q7R5a4t5DNXryOH24OXbiJnANgUHVZLLBhx1n+gZhJW3h/yqXGU5r0lYDnQeWn EUd5QilJibguO2hwmsOVKLlYDywEuQOGGpwqwiafYa1wR+PlrxR6YB1mAzlqGTn2EGh/ doZ7TDhqY17O56KXexWdLQdiJVAF3a9nIGHPuXVyTLu+xE1eRwkmvAY26Xl+YBlS4P5B cL2ofc6ftn7ynQe8WJPwjR6qFEks4pxAMl6SsmXp4UQ/FNQQPxNU4wMft0C2oEODnFYw 8NMrbL9/IJwHi7QwIHM1GQoz/exQ2fsGC9XNqLUdjrh9ShDRBp75JPGdvQFy9S9K52BD SbKQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:in-reply-to:references:from:date :subject:to:content-transfer-encoding:mime-version; bh=ILPBPviU92LfC/G0qfbkkr28rQ2jIHcrIseR2qJEc84=; b=vT705YoOTfMvtEdlSO34Mjy7ak6SegBfL5XtmHVlYOiiTnC9uQvNA84xCSVSA+sa/T gJgDu+BbQ1Q5d1m8VWk4FyWwUhs/Utbt5iPJc+DROLyyJFGjeXe3zw4ZinmlBsGRSKUJ Yb3/3Yx8CpVlz71g9IKTBKzfojNgikMHjeelDMzaRmuNArWBKzruA5DuD2U7cIQxYJ0o A3dPE8UrUIIYj7jxhTMjRriMV+LKEUBomsWdiRh0rEoeyz/SsTAX3lUanJnHtmGhV81X Y9Zq+FZX3L6Vw4alf8BSK0FPAwvImLyeuFt20nTEqikniB91KxEcmWu1wXneEwCRTt/W J1Vw== X-Gm-Message-State: AOAM5337OhxHXfwnRvoGqha3mgll0fUet2ByCRfvuAkNg15mpfGPWyrg 1JjSWiU1mzSDtX1aaVlDG/0qvBeje0A= X-Google-Smtp-Source: ABdhPJyHCxj01CbjJOWei9+FxCEwziYK/kVUpJtW0UrQkyKxKjuMOb3RQfFueYbucVauoJnApwgSkQ== X-Received: by 2002:a5d:4cc6:: with SMTP id c6mr11280336wrt.108.1633083404551; Fri, 01 Oct 2021 03:16:44 -0700 (PDT) Received: from nijino.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id k18sm5348358wrh.68.2021.10.01.03.16.43 for <50933@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 01 Oct 2021 03:16:44 -0700 (PDT) Message-Id: <6f6894593962c94927eedc074cca29e682a23cb2.1633081882.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 25 Sep 2021 11:51:15 +0200 Subject: [PATCH 1/3] gnu: Add libpotassco. to: 50933@debbugs.gnu.org Content-Transfer-Encoding: 7bit MIME-Version: 1.0 X-Spam-Score: 2.1 (++) 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/maths.scm (libpotassco): New variable. --- gnu/packages/maths.scm | 49 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 164924b6af..dbb149db53 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2194,6 +2194,55 @@ Computational Engineer [...] Content analysis details: (2.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 2.1 DATE_IN_PAST_96_XX Date: is 96 hours or more before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.221.67 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.221.67 listed in list.dnswl.org] X-Debbugs-Envelope-To: 50933 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.1 (+) 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/maths.scm (libpotassco): New variable. --- gnu/packages/maths.scm | 49 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 164924b6af..dbb149db53 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2194,6 +2194,55 @@ Computational Engineer [...] Content analysis details: (1.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.221.67 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.221.67 listed in list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 2.1 DATE_IN_PAST_96_XX Date: is 96 hours or more before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/maths.scm (libpotassco): New variable. --- gnu/packages/maths.scm | 49 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 164924b6af..dbb149db53 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2194,6 +2194,55 @@ Computational Engineering and Sciences} at The University of Texas at Austin. includes a complete LAPACK implementation.") (license license:bsd-3))) +(define-public libpotassco + ;; No public release, update together with clasp + (let ((revision "1") + (commit "2f9fb7ca2c202f1b47643aa414054f2f4f9c1821")) + (package + (name "libpotassco") + (version (git-version "0.0" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/libpotassco") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1c32f9gqclf7qx07lpx8wd720vfhkjqhzc6nyy8mjmgwpmb3iyyn")))) + (arguments + `(#:configure-flags '("-DLIB_POTASSCO_BUILD_TESTS=on" + "-DLIB_POTASSCO_INSTALL_LIB=on" + "-DBUILD_SHARED_LIBS=on") + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'patch-cmake + (lambda _ + (substitute* "CMakeLists.txt" + ;; clasp expects lowercase potassco and include directory is + ;; lowercase as well, so let's use that + (("\"cmake/Potassco\"") "\"cmake/potassco\"") + (("PotasscoConfig\\.cmake") "potassco-config.cmake") + (("PotasscoConfigVersion\\.cmake") + "potassco-config-version.cmake")) + (rename-file "cmake/PotasscoConfig.cmake.in" + "cmake/potassco-config.cmake.in")))))) + (build-system cmake-build-system) + (home-page "https://potassco.org/") + (synopsis "Utility library for Potassco's projects") + (description "@code{libpotassco} is a utility library providing functions +and datatypes for +@itemize +@item parsing, writing, and converting logic programs in aspif and smodels +format, +@item passing information between a grounder and a solver, +@item and defining and parsing command-line options and for creating +command-line applications. +@end itemize +Furthermore, it comes with the tool @command{lpconvert} that converts either +between aspif and smodels format or to a human-readable text format.") + (license license:expat)))) + (define-public ceres (package (name "ceres-solver") -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 01 06:17:00 2021 Received: (at 50933) by debbugs.gnu.org; 1 Oct 2021 10:17:00 +0000 Received: from localhost ([127.0.0.1]:54743 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mWFb9-0000bp-Gc for submit@debbugs.gnu.org; Fri, 01 Oct 2021 06:16:59 -0400 Received: from mail-wr1-f65.google.com ([209.85.221.65]:42774) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mWFb1-0000bE-IQ for 50933@debbugs.gnu.org; Fri, 01 Oct 2021 06:16:53 -0400 Received: by mail-wr1-f65.google.com with SMTP id v17so14625348wrv.9 for <50933@debbugs.gnu.org>; Fri, 01 Oct 2021 03:16:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:in-reply-to:references:from:date:subject:to :content-transfer-encoding:mime-version; bh=0hKEKmN7/TZHM75nyAPu5QKpEeBMp7g3YWRiqCo0tQw=; b=mVp6bZeB3+QtnskTtAMiaQ8xogDo29GD0EckNme0hKKE+kcyy0/rdNWYn5ENfbqCLY 1f9FbxWsALmdevIExG8DOrxwAyQCbMG7KELvXQGuCp4igvqjLXheO1RlF1CL78g/AjwW /dLgVPvt1Mg1gkdFyqFRLR/rIj3ob7k/dsxFJjH0PfktlbGHgNmMxri6NpnO1SRKANy5 IB9GsdB3FjRFVUZqXtXuhr7FBj3ak0UH4Lyid26qkdN24rie5K8oH0EgZXjCf/QVPwkS K3TzTC0ECOJENdbdinJJ4ywNyyN16vQvG6LCpMYf/blDkmBTEszzP1YufeqbRfSdXTju 6KkA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:in-reply-to:references:from:date :subject:to:content-transfer-encoding:mime-version; bh=0hKEKmN7/TZHM75nyAPu5QKpEeBMp7g3YWRiqCo0tQw=; b=Qdanjc1uYXIJ4DvK17U6mG8Vdk95FZ+da4MxIkIApg+ZqtCydKnvOlvssWyqceW9te WVkdWbDElUgfJ3cN208R0K5VJ6YmaQMiH+VBVeFRFsgvL1SF/vuGn80YXnPB+SfRnQ3w rJTjasiBIYOod8f3SCQSCbJa1ffPEp6PlOXK3SwS8e1fsyyXK0nq9IKA41h4cM36Lb34 +PsB9sJixkmgQX462AYU5qCfEiwGICuYPr9O0PIYu4shBX1SDjbX5E307wW7tWxkD2lx Io+7wPGmIocGqlwPyWwzoVMq6FoQr6bgIDdxeqNUJcjkvTcPphlncqWE4B9249GkiupR BdHA== X-Gm-Message-State: AOAM5336G7j5Oy/3qPcHAeh8q9CQCtFBHTah7TvRO8sqxVTyFq/SYlAT xGWkkeCGpnWGuU9HbztwXh+aPDCNfSk= X-Google-Smtp-Source: ABdhPJzsP1haqUkHjluIZ4HHC2E9vfzacHq7/L1Mpov+AZgSiyfxYKONYMqDqPktkAjv91vhngIuwQ== X-Received: by 2002:a05:6000:243:: with SMTP id m3mr11662798wrz.328.1633083405882; Fri, 01 Oct 2021 03:16:45 -0700 (PDT) Received: from nijino.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id k18sm5348358wrh.68.2021.10.01.03.16.45 for <50933@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 01 Oct 2021 03:16:45 -0700 (PDT) Message-Id: <152ca434f5cd88d6f61e01df91d6ff818745cafc.1633081882.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Fri, 1 Oct 2021 11:47:17 +0200 Subject: [PATCH 3/3] gnu: Add clingo. to: 50933@debbugs.gnu.org Content-Transfer-Encoding: 7bit MIME-Version: 1.0 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 50933 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 (-) * gnu/packages/maths.scm (clingo): New variable. --- gnu/packages/maths.scm | 65 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 65 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index f9790dd64a..4baca52007 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2286,6 +2286,71 @@ conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT).") (license license:expat))) +(define-public clingo + (package + (name "clingo") + (version "5.5.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clingo") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0rfjwkcwm0mmf3r4i7asyjwb6cia4i7px7fn2kdbi9j85qvas4pb")))) + (build-system cmake-build-system) + (arguments + `(#:configure-flags `("-DCLINGO_BUILD_TESTS=on" + "-DCLINGO_INSTALL_LIB=on" + "-DCLINGO_BUILD_STATIC=off" + "-DCLINGO_BUILD_SHARED=on" + ;; XXX: Clingo requries private headers and + ;; sources from clasp + ,(string-append + "-DCLASP_SOURCE_DIR=" + (assoc-ref %build-inputs "clasp-src"))) + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'patch-cmake + (lambda _ + (substitute* "CMakeLists.txt" + (("add_subdirectory\\(clasp\\)") + "find_package(clasp REQUIRED)")) + (substitute* "libclingo/CMakeLists.txt" + (("\"cmake/Clingo\"") "\"cmake/clingo\"") + (("ClingoConfig\\.cmake") "clingo-config.cmake") + (("ClingoConfigVersion\\.cmake") + "clingo-config-version.cmake")) + (substitute* "cmake/ClingoConfig.cmake.in" + (("find_package\\(Clasp") "find_package(clasp")) + (rename-file "cmake/ClingoConfig.cmake.in" + "cmake/clingo-config.cmake.in"))) + (add-after 'unpack 'skip-failing-tests + (lambda _ + (with-directory-excursion "libclingo/tests" + (substitute* "CMakeLists.txt" + (("COMMAND test_clingo" all) + (string-append all + " -f " + "\"${CMAKE_CURRENT_SOURCE_DIR}/good.txt\""))) + (call-with-output-file "good.txt" + (lambda (port) + (for-each (lambda (test) (format port "~s~%" test)) + '("parse-ast-v2" "add-ast-v2" "build-ast-v2" + "unpool-ast-v2" "parse_term" + "propagator" "propgator-sequence-mining" + "symbol" "visitor")))))))))) + (inputs + `(("clasp" ,clasp) + ("libpotassco" ,libpotassco))) + (native-inputs + `(("clasp-src" ,(package-source clasp)))) + (home-page "https://potassco.org/") + (synopsis "Grounder and solver for logic programs") + (description "Clingo computes answer sets for a given logic program.") + (license license:expat))) + (define-public ceres (package (name "ceres-solver") -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 01 06:17:00 2021 Received: (at 50933) by debbugs.gnu.org; 1 Oct 2021 10:17:00 +0000 Received: from localhost ([127.0.0.1]:54745 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mWFbA-0000br-0Z for submit@debbugs.gnu.org; Fri, 01 Oct 2021 06:17:00 -0400 Received: from mail-wr1-f68.google.com ([209.85.221.68]:41546) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mWFb0-0000bB-Qr for 50933@debbugs.gnu.org; Fri, 01 Oct 2021 06:16:54 -0400 Received: by mail-wr1-f68.google.com with SMTP id w29so14662158wra.8 for <50933@debbugs.gnu.org>; Fri, 01 Oct 2021 03:16:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:in-reply-to:references:from:date:subject:to :content-transfer-encoding:mime-version; bh=xk8YQYaNtXS5IqEVGwJgGRLl6kW3cCDPdcSex/Sloi0=; b=OtNXAt9g30ubmSxbDK9KIiN+AMRhUNdFGnHt8iDuHW3kbpZGSHeYudUFh5Tw5c0WwQ m2etyj1CE2mMVcPfKDfDTkix0VKqBPmtc9wBAaKnO4kSQbkKYNlznG2pzD6Np9IP58tn txTyPzxkvbFKfVbS6u0vj7t9sLRs3oX2iK2t4qjJk03V1C60jPbVGgl9m+2ofUzdjJ7w MMKEkQYCp07i6YKbug0Mc3WYPZN/StDAQ/dNYzQo+QktBULtW8BSBZ998XtrN+EF+8uH Ewif4PjGtHIrHbbtnBHRx4eIsS0oKyhickGutbbVhtcZAmL5xms0Uu+cmF4xG72HMMIa HQ4g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:in-reply-to:references:from:date :subject:to:content-transfer-encoding:mime-version; bh=xk8YQYaNtXS5IqEVGwJgGRLl6kW3cCDPdcSex/Sloi0=; b=t7iByyyUe75OuiZquN11MX5iLeHa7vHCbeqXPOX7jab/J9YXARhEnVsO+bP7/28RzX L7/UBBe/eVZsTli5oaoQlGB1PamBA8Y9xI6C/D11IclDY1YAvtrw67f4uVkmOk7abYEk oKTJKoWFQ+tAnhZMlpXS6pe9eRryNqoTpnFkaLJPCLfACRr6ATdz9tH0XhYcOaKnOy4d ezJwOi4RH9d389T9Tehd77PQfMoxz4z3TtqObBgvZkSKXT+3BD5/IBbDcHecK/ODYfco RxhMWThonDAnVisRQsLsYMc+ef6L/2OVky9cpTZ1m8jyl8OC6HtZMhvv84FWCaN63EL2 PTqA== X-Gm-Message-State: AOAM533KHcvLrt+LLSoMd3A2Kz5CFIKqR0S65xGavtXmx+vHV7Ia3baO GUb/lFmP3OcipoJpTbPB7yX/Uv13+zA= X-Google-Smtp-Source: ABdhPJxG5tvAB5N2ZelYk+xP/roXvswqERVPxrI6hpQw/kzUFtTOvZ/NO4IWP5ZpiPiXcTMf/DhdIQ== X-Received: by 2002:a5d:47ad:: with SMTP id 13mr10742819wrb.385.1633083405244; Fri, 01 Oct 2021 03:16:45 -0700 (PDT) Received: from nijino.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id k18sm5348358wrh.68.2021.10.01.03.16.44 for <50933@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 01 Oct 2021 03:16:44 -0700 (PDT) Message-Id: <81efb43dc035062c61fc759fda62d09effcd2d29.1633081882.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 25 Sep 2021 13:16:42 +0200 Subject: [PATCH 2/3] gnu: Add clasp. to: 50933@debbugs.gnu.org Content-Transfer-Encoding: 7bit MIME-Version: 1.0 X-Spam-Score: 2.1 (++) 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/maths.scm (clasp): New variable. --- gnu/packages/maths.scm | 43 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index dbb149db53..f9790dd64a 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2243,6 +2243,49 @@ Furthermore, it comes [...] Content analysis details: (2.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 2.1 DATE_IN_PAST_96_XX Date: is 96 hours or more before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.221.68 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.221.68 listed in wl.mailspike.net] X-Debbugs-Envelope-To: 50933 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.1 (+) 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/maths.scm (clasp): New variable. --- gnu/packages/maths.scm | 43 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index dbb149db53..f9790dd64a 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2243,6 +2243,49 @@ Furthermore, it comes [...] Content analysis details: (1.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.221.68 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.221.68 listed in list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 2.1 DATE_IN_PAST_96_XX Date: is 96 hours or more before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/maths.scm (clasp): New variable. --- gnu/packages/maths.scm | 43 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index dbb149db53..f9790dd64a 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2243,6 +2243,49 @@ Furthermore, it comes with the tool @command{lpconvert} that converts either between aspif and smodels format or to a human-readable text format.") (license license:expat)))) +(define-public clasp + (package + (name "clasp") + (version "3.3.6") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clasp") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0rahqiq530jckvx717858h1q5p8znp1kb6sjm95p8blkr4n3pvmj")))) + (build-system cmake-build-system) + (arguments + `(#:configure-flags '("-DCLASP_BUILD_TESTS=on" + "-DCLASP_INSTALL_LIB=on" + "-DCLASP_USE_LOCAL_LIB_POTASSCO=off" + "-DBUILD_SHARED_LIBS=on") + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'patch-cmake + (lambda _ + (substitute* "CMakeLists.txt" + ;; Use lowercase to be consistent with libpotassco + (("\"cmake/Clasp\"") "\"cmake/clasp\"") + (("ClaspConfig\\.cmake") "clasp-config.cmake") + (("ClaspConfigVersion\\.cmake") + "clasp-config-version.cmake")) + (substitute* "cmake/ClaspConfig.cmake.in" + (("find_package\\(Potassco") "find_package(potassco")) + (rename-file "cmake/ClaspConfig.cmake.in" + "cmake/clasp-config.cmake.in")))))) + (inputs + `(("libpotassco" ,libpotassco))) + (home-page "https://potassco.org/") + (synopsis "Answer set solver") + (description "clasp is an answer set solver for (extended) normal and +disjunctive logic programs. The primary algorithm of clasp relies on +conflict-driven nogood learning, a technique that proved very successful for +satisfiability checking (SAT).") + (license license:expat))) + (define-public ceres (package (name "ceres-solver") -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 24 14:44:47 2021 Received: (at 50933-done) by debbugs.gnu.org; 24 Oct 2021 18:44:47 +0000 Received: from localhost ([127.0.0.1]:40879 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1meiUB-00035w-0W for submit@debbugs.gnu.org; Sun, 24 Oct 2021 14:44:47 -0400 Received: from mail-wm1-f68.google.com ([209.85.128.68]:55286) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1meiU9-00035i-4c for 50933-done@debbugs.gnu.org; Sun, 24 Oct 2021 14:44:45 -0400 Received: by mail-wm1-f68.google.com with SMTP id g141so8456154wmg.4 for <50933-done@debbugs.gnu.org>; Sun, 24 Oct 2021 11:44:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:subject:from:to:date:in-reply-to:references:user-agent :mime-version:content-transfer-encoding; bh=caci9Vf9PYbCuAswYyn/bcu9WutaGI+9Bat7EBHnYGQ=; b=SKZYBNey6MxdArURVHvYy6yXVElvFlusbwwHGoa5c0DdV1A3W2QznBUtr7sgUyWMWA vpDt2pjuF1zJf053z/gIpJvODVvVP8Inl9/TPX5nKOgYxEpQEQP1wxLW764t3H6ilmpb f09yjoAjjfAUezfYObEDljof9pzdp1+ADLHRBiHKAWOLHrpn8zUs2Yiek6FCBSCLgaqX g/bhZ02Csw/2o/oTd50daSsBl8KXwqmpQJpVbf0IavOEGusRsEt92elMhIMqYjeuB16N 2E3lVLJVkVZb6L5PoCbJ8NsGrV0/a6Rw1VYCFRVRFK7hld6GXZvqL1tqBstnWRwKlRzw uWsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:subject:from:to:date:in-reply-to :references:user-agent:mime-version:content-transfer-encoding; bh=caci9Vf9PYbCuAswYyn/bcu9WutaGI+9Bat7EBHnYGQ=; b=qlrPCgDM8u5Glo55Lqy8399XsdN9fGe/xdEDdj1WcUzXyKXjnRjtpoLM6Hfu3kVIEU 0Evyb6crcJ2Dut5tDPz5TLWkKGQjlL5O5fgE5LDoNs3QE1sM+cSm8apsG6wlZM6mqer6 WtkuF/vv35SeSfbmQeR+zG7YGOXXC7qO8KWaHKQV3AUU1y5rQ1WLWwNRhPzSdMIZlW+7 13l9njZR1sRS0srCAT0gBMmJewMxejT/qbLB2JPis3gvmRhjP7rmss7t6KwvjEm0V3MN YMqPf4t3NhJEfQ9Riz04EhYKhZnM/YbmMA6mW99XZqPfNn2QL8myGTDfksR0e+mEHFgU k/6g== X-Gm-Message-State: AOAM530oGoRRPBbJ5BoY1RBBTtMK53oJBptbSWEVafo2lKvWPIFZ4fMy nOVakQH/pi/0wT8WWw9OK0d74vTKiaH9lA== X-Google-Smtp-Source: ABdhPJzaueUizCCLlsBY43mNMnLBIVpnNzMXFQQfA69iKzpqh54wdWx0IjZBOxNZWFzkrioXqEX2jg== X-Received: by 2002:a05:600c:218:: with SMTP id 24mr20068888wmi.192.1635101079151; Sun, 24 Oct 2021 11:44:39 -0700 (PDT) Received: from nijino.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id q14sm8666033wrr.28.2021.10.24.11.44.38 for <50933-done@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 24 Oct 2021 11:44:38 -0700 (PDT) Message-ID: Subject: Re: [PATCH 0/3] Add clingo From: Liliana Marie Prikler To: 50933-done@debbugs.gnu.org Date: Sun, 24 Oct 2021 20:44:37 +0200 In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Spam-Score: 1.3 (+) 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: Am Freitag, den 01.10.2021, 11:51 +0200 schrieb Liliana Marie Prikler: > This patch adds a package for clingo ad its dependencies. I haven't > tested clingo itself (I did test clasp however) and the t [...] Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.3 RCVD_IN_VALIDITY_RPBL RBL: Relay in Validity RPBL, https://senderscore.org/blocklistlookup/ [209.85.128.68 listed in bl.score.senderscore.com] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.128.68 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.128.68 listed in wl.mailspike.net] X-Debbugs-Envelope-To: 50933-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: 0.3 (/) Am Freitag, den 01.10.2021, 11:51 +0200 schrieb Liliana Marie Prikler: > This patch adds a package for clingo ad its dependencies. I haven't > tested clingo itself (I did test clasp however) and the test suite > has two failing assertion in the solver category, but as far as I can > see it ought to work mostly. After finally getting around to test that clingo indeed can solve crime [1], I've decided to push this patch set. Regards, Liliana [1] https://potassco.org/doc/start/ From unknown Sat Sep 13 17:34:45 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 22 Nov 2021 12:24:06 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator