[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#55379] [PATCH 11/14] gnu: Add r-picosat.
From: |
kyle |
Subject: |
[bug#55379] [PATCH 11/14] gnu: Add r-picosat. |
Date: |
Thu, 12 May 2022 02:10:31 +0000 |
From: Kyle Andrews <kyle@posteo.net>
---
gnu/packages/cran.scm | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/gnu/packages/cran.scm b/gnu/packages/cran.scm
index f578cdfa2a..0c7a3d55ff 100644
--- a/gnu/packages/cran.scm
+++ b/gnu/packages/cran.scm
@@ -33466,6 +33466,27 @@ (define-public r-relimp
"This package provides functions to facilitate inference on the relative
importance of predictors in a linear or generalized linear model, and a couple
of useful Tcl/Tk widgets.")
(license license:gpl2+)))
+(define-public r-rpicosat
+ (package
+ (name "r-rpicosat")
+ (version "1.0.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (cran-uri "rpicosat" version))
+ (sha256
+ (base32
+ "1zj2d6jairmvya91vhv9kpkf34zmzl9vlha5yvfjj0j0apmqc0li"))))
+ (properties `((upstream-name . "rpicosat")))
+ (build-system r-build-system)
+ (home-page
+ "https://github.com/dirkschumacher/rpicosat")
+ (synopsis
+ "R Bindings for the 'PicoSAT' SAT Solver")
+ (description
+ "Bindings for the 'PicoSAT' solver to solve Boolean satisfiability
problems (SAT). The boolean satisfiability problem asks the question if a
given boolean formula can be TRUE; i.e. does there exist an assignment of
TRUE/FALSE for each variable such that the whole formula is TRUE? The package
bundles 'PicoSAT' solver release 965 <http://www.fmv.jku.at/picosat/>.")
+ (license license:expat)))
+
(define r-gpg
(package
--
2.36.0
- [bug#55381] [PATCH 05/14] gnu: Add r-unglue., (continued)
- [bug#55381] [PATCH 05/14] gnu: Add r-unglue., kyle, 2022/05/11
- [bug#55379] [PATCH 04/14] gnu: Add r-unpivotr., kyle, 2022/05/11
- [bug#55379] [PATCH 06/14] gnu: Add r-vcdextra., kyle, 2022/05/11
- [bug#55379] [PATCH 07/14] gnu: Add r-ca., kyle, 2022/05/11
- [bug#55379] [PATCH 08/14] gnu: Add r-qvcalc., kyle, 2022/05/11
- [bug#55379] [PATCH 03/14] gnu: Add r-tidyxl., kyle, 2022/05/11
- [bug#55379] [PATCH 11/14] gnu: Add r-picosat.,
kyle <=
- [bug#55379] [PATCH 12/14] gnu: Add r-ryacas., kyle, 2022/05/11
- [bug#55379] [PATCH 13/14] gnu: Add r-showimage., kyle, 2022/05/11
- [bug#55379] [PATCH 10/14] gnu: Add r-relimp., kyle, 2022/05/11
- [bug#55379] [PATCH 09/14] gnu: Add r-gnm., kyle, 2022/05/11
- [bug#55379] [PATCH 14/14] gnu: Add r-genoud., kyle, 2022/05/11
- [bug#55379] [PATCH 01/14] gnu: Add r-gpg., Maxime Devos, 2022/05/13
- Message not available