[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
15/15: gnu: Add clingo-dl.
From: |
guix-commits |
Subject: |
15/15: gnu: Add clingo-dl. |
Date: |
Thu, 23 Nov 2023 03:30:31 -0500 (EST) |
lilyp pushed a commit to branch master
in repository guix.
commit 5023424f16029ed8e24dc2b2ba8eba5812ece26b
Author: Liliana Marie Prikler <liliana.prikler@gmail.com>
AuthorDate: Thu Nov 16 19:27:33 2023 +0100
gnu: Add clingo-dl.
* gnu/packages/potassco.scm (clingo-dl): New variable.
Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd
---
gnu/packages/potassco.scm | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index e6d7caa1ef..887c220ccf 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -221,6 +221,28 @@ satisfiability checking (SAT).")
(description "Clingo computes answer sets for a given logic program.")
(license license:expat)))
+(define-public clingo-dl
+ (package
+ (name "clingo-dl")
+ (version "1.4.0")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/potassco/clingo-dl")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
"0dncwj63vdm6958vb7355d5j9mdr7hm037j4z82yz6l77jg3sipw"))))
+ (build-system cmake-build-system)
+ (arguments (list #:tests? #f ; no tests
+ #:configure-flags #~`("-DPYCLINGODL_ENABLE=off")))
+ (inputs (list clingo))
+ (home-page "https://github.com/potassco/clingo-dl")
+ (synopsis "Solver for answer set programs modulo difference constraints")
+ (description "Clingo-DL is an extension to Clingo that models constraints
+over difference logic.")
+ (license license:expat)))
+
(define-public emacs-pasp-mode
(let ((commit "59385eb0e8ebcfc8c11dd811fb145d4b0fa3cc92")
(revision "1"))
- 07/15: gnu: Add emacs-exwm-firefox-core., (continued)
- 07/15: gnu: Add emacs-exwm-firefox-core., guix-commits, 2023/11/23
- 08/15: gnu: Add emacs-exwm-firefox., guix-commits, 2023/11/23
- 10/15: gnu: Add emacs-debase., guix-commits, 2023/11/23
- 09/15: gnu: Add emacs-exwm-ss., guix-commits, 2023/11/23
- 06/15: gnu: Add emacs-exwm-mff., guix-commits, 2023/11/23
- 11/15: gnu: Add emacs-discomfort., guix-commits, 2023/11/23
- 04/15: gnu: Add emacs-tl1-mode., guix-commits, 2023/11/23
- 05/15: gnu: Add emacs-diss., guix-commits, 2023/11/23
- 12/15: gnu: Add emacs-shell-here., guix-commits, 2023/11/23
- 13/15: gnu: Add emacs-hyperspace., guix-commits, 2023/11/23
- 15/15: gnu: Add clingo-dl.,
guix-commits <=
- 14/15: gnu: Add emacs-nssh., guix-commits, 2023/11/23