guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

04/09: gnu: Add python-clingraph.


From: guix-commits
Subject: 04/09: gnu: Add python-clingraph.
Date: Sun, 2 Apr 2023 06:40:22 -0400 (EDT)

lilyp pushed a commit to branch master
in repository guix.

commit 2ebbe8e9df66d6607cafa38a79926e4c9ac0d151
Author: Liliana Marie Prikler <liliana.prikler@gmail.com>
AuthorDate: Sat Mar 18 08:34:03 2023 +0100

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

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 22f70eba7f..0e6973d980 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -31,6 +31,7 @@
   #:use-module (guix build-system python)
   #:use-module (guix build-system pyproject)
   #:use-module (gnu packages check)
+  #:use-module (gnu packages graphviz)
   #:use-module (gnu packages libffi)
   #:use-module (gnu packages pkg-config)
   #:use-module (gnu packages python)
@@ -343,3 +344,33 @@ into Python programs easier.")
     (description "This package provides a system to solve dynamic temporal
 logic programs based on clingo.")
     (license license:expat)))
+
+(define-public python-clingraph
+  (package
+    (name "python-clingraph")
+    (version "1.1.0")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/potassco/clingraph";)
+                    (commit (string-append "v" version))))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "0bdhli20nw9qnyxmpisgz7m97d7bwx6lbmxy9bgqvm6mipprnv3n"))))
+    (build-system pyproject-build-system)
+    (inputs (list dot2tex graphviz))
+    (propagated-inputs (list python-clingo
+                             python-clorm
+                             python-graphviz
+                             python-imageio
+                             python-jinja2
+                             python-jsonschema
+                             python-networkx))
+    (native-inputs (list dot2tex graphviz python-pylint python-pytest))
+    (home-page "https://github.com/potassco/clingraph";)
+    (synopsis "Visualizer for graphs defined as logic programs")
+    (description
+     "This package provides a clingo-based visualizer for graphs defined
+as logic programs.")
+    (license license:expat)))



reply via email to

[Prev in Thread] Current Thread [Next in Thread]