From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id wGYxAg6qdWEv+wAAgWs5BA (envelope-from ) for ; Sun, 24 Oct 2021 20:46:38 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id uIR1OQ2qdWFlGgAAB5/wlQ (envelope-from ) for ; Sun, 24 Oct 2021 18:46:37 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 8D54EC54F for ; Sun, 24 Oct 2021 20:46:37 +0200 (CEST) Received: from localhost ([::1]:39548 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1meiVw-0000PA-NL for larch@yhetil.org; Sun, 24 Oct 2021 14:46:36 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:39830) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1meiUe-0008RV-7K for guix-patches@gnu.org; Sun, 24 Oct 2021 14:45:16 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:57569) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1meiUR-0004Z6-3k for guix-patches@gnu.org; Sun, 24 Oct 2021 14:45:09 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1meiUR-00037S-2R for guix-patches@gnu.org; Sun, 24 Oct 2021 14:45:03 -0400 Subject: bug#50933: [PATCH 0/3] Add clingo Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Sun, 24 Oct 2021 18:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 50933 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 50933-done@debbugs.gnu.org Mail-Followup-To: 50933@debbugs.gnu.org, liliana.prikler@gmail.com, liliana.prikler@gmail.com Received: via spool by 50933-done@debbugs.gnu.org id=D50933.163510108711904 (code D ref 50933); Sun, 24 Oct 2021 18:45:02 +0000 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: From: Liliana Marie Prikler 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1635101197; h=from:from:sender:sender: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:resent-to: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=caci9Vf9PYbCuAswYyn/bcu9WutaGI+9Bat7EBHnYGQ=; b=C3TkTBMtElPw304vgW+oAm1XqfLf7lltuRNFylm/Qzo6zh1a+G5NSsPG+Foqzrl533RQlV oEgEKhkXsB69MpAKJ9EkmU+rocdOTFfjbBHa4UOrEh88w7CprmzRlT9F7Vb12xcaNpukKF CtTvAg9qJ9zt04g4zasSgLDSdM0fU3kDTV9EmFRvCcVpKoEaN+/kJVom0ugB/BntS55QN8 WyacdMI7Wf6qCElWWsQ+WdYxy3Zzp9G37pvzPDrHEIrc2qQ6N1yt9G55CIfjOITX2FDvtd L3ci9Qyll/JLDfRoyxWvD3qqc+sxb5R+TmOOyUfZtehHiOYyzcmtQiyOMSC6bA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1635101197; a=rsa-sha256; cv=none; b=RyY3PfXT8Z4TbpATZ11UT/Bvx2F3f8lzz2usk29n3KUg2Mcm5OO/NTImAztd7ukkD1lalq Vls+c77W71v4FK4n1rTnr5cUbtqZKUhddaUegk4uzQxQeM1AsFfjjWaxh5oin5ccZwlukA po/cruCIZy1SPJgriALf37Z6ZgcRak8CJnz2Q0uCWiCWpWsBY/Y99sL12shah+QdrXj2eH AJkSItLUxtfkoBRTTMuFND79NrcDbB3zJRMbKITrMfdghOrnC2qhZ9P9Y84g+8FT+f6aYx FTxXxpkTwE/VAXOwWX4IuIzopeZptg2mcGGK/p72Kg5A1qSgRb3p+yO+aXBGCQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=SKZYBNey; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -1.32 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=SKZYBNey; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 8D54EC54F X-Spam-Score: -1.32 X-Migadu-Scanner: scn0.migadu.com X-TUID: SqJAKGYZZVMB 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/