[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
04/29: gnu: Add screamer.
From: |
guix-commits |
Subject: |
04/29: gnu: Add screamer. |
Date: |
Thu, 30 Jun 2022 14:02:13 -0400 (EDT) |
ambrevar pushed a commit to branch master
in repository guix.
commit 657751669bee11f177963767eb2ae97ec29f4ede
Author: Pierre Neidhardt <mail@ambrevar.xyz>
AuthorDate: Thu Jun 30 15:54:09 2022 +0200
gnu: Add screamer.
* gnu/packages/lisp-xyz.scm (cl-screamer, ecl-screamer, sbcl-screamer): New
variables.
---
gnu/packages/lisp-xyz.scm | 39 +++++++++++++++++++++++++++++++++++++++
1 file changed, 39 insertions(+)
diff --git a/gnu/packages/lisp-xyz.scm b/gnu/packages/lisp-xyz.scm
index 2b9dd0b086..addada891d 100644
--- a/gnu/packages/lisp-xyz.scm
+++ b/gnu/packages/lisp-xyz.scm
@@ -21636,3 +21636,42 @@ operating on them.")
(define-public ecl-algebraic-data-type
(sbcl-package->ecl-package sbcl-cl-algebraic-data-type))
+
+(define-public sbcl-screamer
+ (let ((commit "ce50614024de090b376107668da5e53232540ec7"))
+ (package
+ (name "sbcl-screamer")
+ (version (git-version "0.0.1" "1" commit))
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/nikodemus/screamer/")
+ (commit commit)))
+ (file-name (git-file-name "cl-screamer" version))
+ (sha256
+ (base32 "1jl42pl6kwkiq71d0naf3r1mn1qy89ndimfgiz58c4g66xbjb7kx"))))
+ (build-system asdf-build-system/sbcl)
+ (native-inputs
+ (list sbcl-iterate
+ sbcl-hu.dwim.stefil))
+ (home-page "http://nikodemus.github.io/screamer/")
+ (synopsis "Nondeterministic programming and constraint propagation")
+ (description
+ "Screamer is an extension of Common Lisp that adds support for
+nondeterministic programming. Screamer consists of two levels. The basic
+nondeterministic level adds support for backtracking and undoable side
+effects. On top of this nondeterministic substrate, Screamer provides a
+comprehensive constraint programming language in which one can formulate and
+solve mixed systems of numeric and symbolic constraints. Together, these two
+levels augment Common Lisp with practically all of the functionality of both
+Prolog and constraint logic programming languages such as CHiP and CLP(R).
+Furthermore, Screamer is fully integrated with Common Lisp. Screamer programs
+can coexist and interoperate with other extensions to as CLIM and Iterate.")
+ (license license:expat))))
+
+(define-public cl-screamer
+ (sbcl-package->cl-source-package sbcl-screamer))
+
+(define-public ecl-screamer
+ (sbcl-package->ecl-package sbcl-screamer))
- branch master updated (d473d8ebdb -> eac290933f), guix-commits, 2022/06/30
- 04/29: gnu: Add screamer.,
guix-commits <=
- 06/29: gnu: sbcl-cl-reexport: Update to 20210219., guix-commits, 2022/06/30
- 08/29: gnu: Add filtered-functions., guix-commits, 2022/06/30
- 10/29: gnu: Add dynamic-mixins., guix-commits, 2022/06/30
- 18/29: gnu: Add parseq., guix-commits, 2022/06/30
- 05/29: gnu: Add clache., guix-commits, 2022/06/30
- 07/29: gnu: Add cl-definitions., guix-commits, 2022/06/30
- 09/29: gnu: Add defstar., guix-commits, 2022/06/30
- 19/29: gnu: Add physical-quantities., guix-commits, 2022/06/30
- 24/29: gnu: Add glkit., guix-commits, 2022/06/30
- 01/29: gnu: Add utils-kt., guix-commits, 2022/06/30