diff options
author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-03-18 08:34:03 +0100 |
---|---|---|
committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-04-02 11:19:21 +0200 |
commit | 2ebbe8e9df66d6607cafa38a79926e4c9ac0d151 (patch) | |
tree | b4faa7a16a02b1913e8974bb7007055d80de0e75 /gnu/packages/potassco.scm | |
parent | 383f1307c79b31f4915b3a16a5f450d4c529241b (diff) |
gnu: Add python-clingraph.
* gnu/packages/potassco.scm (python-clingraph): New variable.
Diffstat (limited to 'gnu/packages/potassco.scm')
-rw-r--r-- | gnu/packages/potassco.scm | 31 |
1 files changed, 31 insertions, 0 deletions
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))) |