GNU bug report logs - #73866
[PATCH] gnu: Add clingcon.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 73866 in the body.
You can then email your comments to 73866 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: Add clingcon.
Date: Thu, 3 Oct 2024 08:11:20 +0200

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

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 3465974fde..ec990f1382 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -275,6 +275,47 @@ (define-public clingo-lpx
 and goals over linear (in)equations.")
     (license license:expat)))
 
+(define-public clingcon
+  (package
+    (name "clingcon")
+    (version "5.2.1")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/potassco/clingcon")
+                    (commit (string-append "v" version))))
+              (file-name (git-file-name name version))
+              (modules '((guix build utils)))
+              (snippet
+               #~(begin
+                   (delete-file-recursively "third_party")))
+              (sha256
+               (base32
+                "0050qp5gpznigpm743br8yhjg62gl739xmzkfr70hlqm1xrj0sa7"))))
+    (build-system cmake-build-system)
+    (arguments
+     (list #:phases
+           #~(modify-phases %standard-phases
+               (add-after 'unpack 'patch-cmake
+                 (lambda _
+                   (substitute* "CMakeLists.txt"
+                     (("add_subdirectory\\(third_party\\)")
+                      "find_package(Catch2 3 REQUIRED)"))
+                   ;; We use libwide-integer as a header-only library, so there
+                   ;; is no library to link
+                   (substitute* "libclingcon/CMakeLists.txt"
+                     (("target_link_libraries\\(.* libwide-integer\\)" all)
+                      (string-append "#" all))))))))
+    (home-page "https://potassco.org/clingcon")
+    (inputs (list clingo wide-integer))
+    (native-inputs (list catch2-3))
+    (synopsis "Constraint answer set solver")
+    (description "Clingcon is an answer set solver for constraint logic
+It extends Clingo with constraint solving capacities for constraints over
+finite domain integer variables, using techniques from the area of SMT,
+like conflict-driven learning and theory propagation.")
+    (license license:expat)))
+
 (define-public plasp
   (package
     (name "plasp")
-- 
2.46.0

Message #10 received at 73866-done <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 73866-done <at> debbugs.gnu.org, 73867-done <at> debbugs.gnu.org
Subject: Re: [PATCH] gnu: Add clingcon.
Date: Sun, 27 Oct 2024 09:42:50 +0100

Am Donnerstag, dem 03.10.2024 um 08:11 +0200 schrieb Liliana Marie
Prikler:
> * gnu/packages/potassco.scm (clingo-lpx): New variable.
> ---
> * gnu/packages/potassco.scm (clingcon): New variable.
> ---
Pushed.

Cheers

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.