diff options
Diffstat (limited to 'gnu/packages/potassco.scm')
| -rw-r--r-- | gnu/packages/potassco.scm | 57 |
1 files changed, 50 insertions, 7 deletions
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index ec990f1382..c8bb094b0a 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -589,7 +589,7 @@ are already predefined, but more can be added as logic programs.") (setenv "CLORM_NOCLINGO" "1") (delete-file "tests/test_mypy_query.py")))))) (propagated-inputs (list python-clingo)) - (native-inputs (list python-typing-extensions)) + (native-inputs (list python-typing-extensions python-setuptools python-wheel)) (home-page "https://potassco.org") (synopsis "Object relational mapping to clingo") (description "@acronym{Clorm, Clingo ORM} provides an @acronym{ORM, @@ -629,6 +629,7 @@ into Python programs easier.") ;; XXX: Does this cross-compile? (patch-shebang script))))))) (propagated-inputs (list python-clingo)) + (native-inputs (list python-setuptools python-wheel)) (home-page "https://potassco.org/") (synopsis "Solve probabilistic logic programs") (description "This package provides a system to solve probabilistic @@ -651,6 +652,7 @@ the most probable model as well as finding all models and their probabilities.") "1q6hlh4b5hsa4n5agvmfa9rhsxfd2g6kpl4b9kfccwbmf6dh51k6")))) (build-system pyproject-build-system) (propagated-inputs (list python-clingo)) + (native-inputs (list python-setuptools python-wheel)) (home-page "https://potassco.org/") (synopsis "Solve dynamic temporal logic programs") (description "This package provides a system to solve dynamic temporal @@ -678,8 +680,10 @@ logic programs based on clingo.") python-imageio python-jinja2 python-jsonschema - python-networkx)) - (native-inputs (list dot2tex graphviz python-pylint python-pytest)) + python-networkx + python-setuptools)) + (native-inputs (list dot2tex graphviz python-pylint python-pytest + python-wheel)) (home-page "https://github.com/potassco/clingraph") (synopsis "Visualizer for graphs defined as logic programs") (description @@ -690,7 +694,7 @@ as logic programs.") (define-public python-clinguin (package (name "python-clinguin") - (version "1.0.0-beta") + (version "2.1.1") (source (origin (method git-fetch) (uri (git-reference @@ -699,7 +703,7 @@ as logic programs.") (file-name (git-file-name name version)) (sha256 (base32 - "032fnzxv6wl01sdq7n2k0ikajpmkg8ihjh5mck1mwjvmis8z16d4")) + "0wfgrs8h5i5mmd5sbzca2xw57f3d3ni75775wjkaq6sg0zm9sqjs")) (modules '((guix build utils))) (snippet #~(begin @@ -708,11 +712,17 @@ as logic programs.") ;; some typo squatter hosted ;; a package named tk (("tk") "") - (("typing") "typing;python_version<\"3.5\"")))))) + ;; XXX: python-clingo-dl installs clingodl instead… + (("clingo-dl") "clingodl")))))) (build-system pyproject-build-system) + (native-inputs + (list python-setuptools + python-wheel)) (propagated-inputs (list python-clingo + python-clingo-dl python-clorm + python-clingexplaid python-clingraph python-fastapi python-httpx @@ -726,7 +736,7 @@ as logic programs.") python-sphinx-rtd-theme python-traitlets python-uvicorn)) - (home-page "https://github.com/potassco/clingraph") + (home-page "https://github.com/potassco/clinguin") (synopsis "Clingo-based interactive UI") (description "Clinguin is a graphical user interface toolkit for clingo, which allows user interfaces to be specified entirely as a logic program.") @@ -756,3 +766,36 @@ but also works fine along custom-built test. Clintest monitors the test outcome while solving to abort the search for solutions once the outcome is certain.") (license license:expat))) + +(define-public python-clingexplaid + (package + (name "python-clingexplaid") + (version "1.1.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clingo-explaid") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1s80cs3clvz26r7cvjprlk6zip7yqswwhzzwmmrv5mf5p89ymrgm")))) + (build-system pyproject-build-system) + (arguments + (list #:test-flags #~(list "-k" "not test_main") + #:phases #~(modify-phases %standard-phases + (add-after 'unpack 'fix-pyproject-toml + (lambda _ + (substitute* "pyproject.toml" + (("dynamic = .*" all) + (string-append "version = \"" + #$version + "\"\n")) + (("\"autoflake\",") ""))))))) + (propagated-inputs (list python-clingo)) + (native-inputs (list python-pytest)) + (home-page "https://github.com/potassco/clingo-explaid") + (synopsis "Develop explanation systems with Clingo") + (description "This package provides tools to develop explanation systems +with clingo. It allows extracting minimal unsatisfiable subsets and +unsatisfiable constraints.") + (license license:expat))) |