From 009fb462efcc42585e34b939f800b5f6785f85cf Mon Sep 17 00:00:00 2001
From: Liliana Marie Prikler <liliana.prikler@gmail.com>
Date: Fri, 19 Jul 2024 14:41:33 +0200
Subject: [PATCH] gnu: Add python-clingox.

* gnu/packages/potassco.scm (python-clingox): New variable.
---
 gnu/packages/potassco.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index fe56d1e8b8..9f6b48f890 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -430,6 +430,27 @@ Python code.")))
 as a theory to clingo from Python code.  It also supports running clingo-dl
 directly from the python command line.")))
 
+(define-public python-clingox
+  (package
+    (name "python-clingox")
+    (version "1.2.1")
+    (source (origin
+             (method git-fetch)
+             (uri (git-reference
+                   (url "https://github.com/potassco/python-clingox")
+                   (commit (string-append "v" version))))
+             (file-name (git-file-name name version))
+             (sha256
+              (base32
+               "0ji0sdqlv0byxmdipwk60afsb82r0rr1j73r7j2508hsfk94m2i8"))))
+    (build-system pyproject-build-system)
+    (propagated-inputs (list python-clingo))
+    (home-page "https://potassco.org/clingo")
+    (synopsis "Auxiliary functions for Clingo")
+    (description "This package provides additional functions to go along with
+the Python bindings for Clingo.")
+    (license license:expat)))
+
 (define-public python-asprin
   (let ((revision "1")
         (commit "bc5a0cf7d9ba346cf91cba66282b5946dbf1331c"))