diff options
author | Herman Rimm <herman@rimm.ee> | 2024-03-30 12:42:39 +0100 |
---|---|---|
committer | Andreas Enge <andreas@enge.fr> | 2024-05-15 13:05:03 +0200 |
commit | 4b10015a126f380c38462cfb8769629cb9073be4 (patch) | |
tree | b6380495fef2ed195e58dec0857828874fe94dc4 /gnu/packages | |
parent | 83289a64ec5ea39320a006430e6781b0b22ee58a (diff) |
gnu: Add chuffed.
* gnu/packages/maths.scm (chuffed): Add variable.
Co-authored-by: Andreas Enge <andreas@enge.fr>
Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/maths.scm | 37 |
1 files changed, 37 insertions, 0 deletions
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") |