From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 08 05:13:42 2022 Received: (at 59896) by debbugs.gnu.org; 8 Dec 2022 10:13:42 +0000 Received: from localhost ([127.0.0.1]:55805 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p3DuQ-0008Ej-Ay for submit@debbugs.gnu.org; Thu, 08 Dec 2022 05:13:42 -0500 Received: from mail-ej1-f67.google.com ([209.85.218.67]:41862) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p3DuM-0008E0-Q7 for 59896@debbugs.gnu.org; Thu, 08 Dec 2022 05:13:40 -0500 Received: by mail-ej1-f67.google.com with SMTP id vp12so2694727ejc.8 for <59896@debbugs.gnu.org>; Thu, 08 Dec 2022 02:13:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:content-transfer-encoding:to:subject:date :from:from:to:cc:subject:date:message-id:reply-to; bh=CVxKfHdgb5tFLX16f/BsGJZAUWIeRVxZyK/VcgoqDhw=; b=VDdbZc/A97aU1OzOlPvNP5tieYuYAy9TKxsepoJdStmdVnyP6Vik3p2R+SIqxaX3QR noV9MoU64CafLNAZ6bk1y0fj8drR6RREJgQF3zmhclsiuvaDXDqJ+ilX2Br6kwQZiRjS hMMgOainLF0oGqOS9cfPJCWJs7+u/pP4oEDjIb4YGX6ys0mycYtl81JTXLNfEpmXJAi+ DP7qUTv2jcy5GtYT49NS3zuUnYe34FDRZhRi+J92tPpvsllBR6tVSrj2ehxGNCGcBZdl ld79hK6SUr5XKdlc41ZiJpD5O+s59MDA7ZziPvZC4t8EfseswkqfNstlOmOe3WurewcI 0eVA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:content-transfer-encoding:to:subject:date :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=CVxKfHdgb5tFLX16f/BsGJZAUWIeRVxZyK/VcgoqDhw=; b=jU7816yiCnL3ix1gV+5qhzvUDSGTGNh89hOo392V/DB8GBF6EtB+uTTWxGByoeZtwC 8XGLkRNwS72+OnWX3xPlhLOeAYjudDNyUGbgiiKANmxjNQqAixNtJ43azilspd0yTESI SP0nYFUvG+9LiV5Ki/mCiStJ7EadJEnQg1BacSfoiIYK1AFWw4ccAXByXdd6adLvPRUW Ztpr9+N5X09CcZ3O7ZKXw2N8X3iPR4tDXL9nB/zPdALWDa5TWYrUJIVNkPOE2GavF62G J++jnTPmVEu1d1D/9k2UZV2/IHw3uoem82L21dyITbJxCi6PclKO3hoPJ3ThgSOm0344 Dqmw== X-Gm-Message-State: ANoB5plW60EiuDPEXH0DTz8g2CYdhojg5ae22BAS+D3C6j5OORi0I7b0 fbzaV4te06d40/CO06ACA1hfRzrWHAg= X-Google-Smtp-Source: AA0mqf44q/Uym8WlNdoIJj1DrSLpOu0EcRJKnc8AyYtouWTa0+PHSPEzAxeWrTksEZB1e+/PNm7LIg== X-Received: by 2002:a17:906:a157:b0:7a5:7e25:5b11 with SMTP id bu23-20020a170906a15700b007a57e255b11mr12948004ejb.254.1670494413241; Thu, 08 Dec 2022 02:13:33 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id q3-20020aa7da83000000b0046c91fa5a4asm3207309eds.70.2022.12.08.02.13.32 for <59896@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 08 Dec 2022 02:13:32 -0800 (PST) From: Liliana Marie Prikler Date: Thu, 8 Dec 2022 09:49:07 +0100 Subject: [PATCH 5/5] gnu: Add python-telingo. to: 59896@debbugs.gnu.org Content-Transfer-Encoding: 7bit Message-ID: <1da46d86f9d5850afe7f8f14070a3c025dbae3f7.camel@gmail.com> MIME-Version: 1.0 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 59896 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/patches/python-telingo-fix-comparison.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/maths.scm (python-telingo): New variable. --- gnu/local.mk | 1 + gnu/packages/maths.scm | 23 +++++++++++++++++++ .../python-telingo-fix-comparison.patch | 19 +++++++++++++++ 3 files changed, 43 insertions(+) create mode 100644 gnu/packages/patches/python-telingo-fix-comparison.patch diff --git a/gnu/local.mk b/gnu/local.mk index 3329801fa6..0ada842407 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1644,6 +1644,7 @@ dist_patch_DATA = \ %D%/packages/patches/python-louvain-fix-test.patch \ %D%/packages/patches/python-random2-getrandbits-test.patch \ %D%/packages/patches/python-poppler-qt5-fix-build.patch \ + %D%/packages/patches/python-telingo-fix-comparison.patch \ %D%/packages/patches/python-w3lib-fix-test-failure.patch \ %D%/packages/patches/sdcc-disable-non-free-code.patch \ %D%/packages/patches/sdl-pango-api_additions.patch \ diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 4f057820f0..23c886dfdb 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -92,6 +92,7 @@ (define-module (gnu packages maths) #:use-module (guix build-system ocaml) #:use-module (guix build-system perl) #:use-module (guix build-system python) + #:use-module (guix build-system pyproject) #:use-module (guix build-system ruby) #:use-module (gnu packages algebra) #:use-module (gnu packages audio) @@ -2717,6 +2718,28 @@ (define-public python-clingo making it so that you can write @acronym{ASPs, Answer Set Programs} through Python code."))) +(define-public python-telingo + (package + (name "python-telingo") + (version "2.1.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/telingo") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (patches (search-patches "python-telingo-fix-comparison.patch")) + (sha256 + (base32 + "0g3khxfdzc2hc7dkiyyqhb399h6h21m5wkp6wy8w71n0m32fiy53")))) + (build-system pyproject-build-system) + (propagated-inputs (list python-clingo)) + (home-page "https://potassco.org/") + (synopsis "Solve dynamic temporal logic programs") + (description "This package provides a system to solve dynamic temporal +logic programs based on clingo.") + (license license:expat))) + (define-public ceres (package (name "ceres-solver") diff --git a/gnu/packages/patches/python-telingo-fix-comparison.patch b/gnu/packages/patches/python-telingo-fix-comparison.patch new file mode 100644 index 0000000000..6d05048dcb --- /dev/null +++ b/gnu/packages/patches/python-telingo-fix-comparison.patch @@ -0,0 +1,19 @@ +Index: source/telingo/transformers/head.py +=================================================================== +--- source.orig/telingo/transformers/head.py ++++ source/telingo/transformers/head.py +@@ -564,10 +564,12 @@ class HeadTransformer: + cond = [] + diff = _ast.BinaryOperation(loc, _ast.BinaryOperator.Minus, param, shift) + if lhs.ast_type != _ast.ASTType.SymbolicTerm or lhs.symbol.type != _clingo.SymbolType.Number or lhs.symbol.number > 0: +- cond.append(_ast.Literal(loc, _ast.Sign.NoSign, _ast.Comparison(_ast.ComparisonOperator.LessEqual, lhs, diff))) ++ cond.append(_ast.Literal(loc, _ast.Sign.NoSign, ++ _ast.Comparison(lhs, [_ast.Guard(_ast.ComparisonOperator.LessEqual, diff)]))) + + if rhs.ast_type != _ast.ASTType.SymbolicTerm or rhs.symbol.type != _clingo.SymbolType.Supremum: +- cond.append(_ast.Literal(loc, _ast.Sign.NoSign, _ast.Comparison(_ast.ComparisonOperator.LessEqual, diff, rhs))) ++ cond.append(_ast.Literal(loc, _ast.Sign.NoSign, ++ _ast.Comparison(diff, [_ast.Guard(_ast.ComparisonOperator.LessEqual, rhs)]))) + + elems.extend([_ast.ConditionalLiteral(loc, _ast.Literal(loc, _ast.Sign.NoSign, head), cond) for head in heads]) + -- 2.38.1