From 4b10015a126f380c38462cfb8769629cb9073be4 Mon Sep 17 00:00:00 2001
From: Herman Rimm <herman@rimm.ee>
Date: Sat, 30 Mar 2024 12:42:39 +0100
Subject: gnu: Add chuffed.

* gnu/packages/maths.scm (chuffed): Add variable.

Co-authored-by: Andreas Enge <andreas@enge.fr>

Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e
---
 gnu/packages/maths.scm | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

(limited to 'gnu')

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index b7ebb2019c..5f910f8fc5 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -63,6 +63,7 @@
 ;;; Copyright © 2023 Jake Leporte <jakeleporte@outlook.com>
 ;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@riseup.net>
 ;;; Copyright © 2023 David Elsing <david.elsing@posteo.net>
+;;; Copyright © 2024 Herman Rimm <herman@rimm.ee>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -305,6 +306,42 @@ programmatic functions.")
     (home-page "http://www.isthe.com/chongo/tech/comp/calc/")
     (license license:lgpl2.1)))
 
+(define-public chuffed
+  (package
+    (name "chuffed")
+    (version "0.13.1")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/chuffed/chuffed")
+             (commit version)))
+       (sha256
+        (base32 "1c28q166qh84q4i5wz77fqvw7kld3fmhd245sgdvyxcbjpi2wr0m"))))
+    (build-system cmake-build-system)
+    (synopsis "Lazy clause generation solver")
+    (arguments
+     (list
+      #:tests? #f ;no 'test' target
+      #:phases #~(modify-phases %standard-phases
+                   (add-before 'build 'patch-msc
+                     (lambda _
+                       (let ((out #$output))
+                         (substitute* "chuffed.msc"
+                           ;; Replace fzn-chuffed and chuffed paths
+                           ;; before build.
+                           (("\\.\\./../..")
+                            out)
+                           (("\\.\\.")
+                            (string-append out "/share/minizinc")))))))))
+    (description
+     "Chuffed is a state of the art lazy clause solver designed from the
+ground up with lazy clause generation in mind.  Lazy clause generation
+is a hybrid approach to constraint solving that combines features of
+finite domain propagation and Boolean satisfiability.")
+    (home-page "https://github.com/chuffed/chuffed")
+    (license license:expat)))
+
 (define-public coda
   (package
     (name "coda")
-- 
cgit v1.2.3